summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMake fast forward from 8.9.1-1Stéphane Glondu4 years
 
TagDownloadAuthorAge
archive/debian/8.9.1-2commit 2963e7521a...Stéphane Glondu4 years
debian/8.9.1-2commit 42f986b074...Stéphane Glondu4 years
archive/debian/8.9.1-1commit 3adccc4d7d...Stéphane Glondu5 years
debian/8.9.1-1commit ee559d6047...Stéphane Glondu5 years
 
AgeCommit messageAuthor
2019-11-08Make fast forward from 8.9.1-1HEADarchive/debian/8.9.1-2masterStéphane Glondu
2019-11-08Remove test failing with OCaml 4.08.0Stephane Glondu
2019-11-08ocaml 4.08 does not allow dynamic loading of already present pr_dump.cmoJacques Garrigue
2019-11-08Replace deleted non-free ssrmatching file with free oneBenjamin Barenblat
2019-11-08Disable tests which require ocamloptBenjamin Barenblat
2019-11-08Run tests verboselyBenjamin Barenblat
2019-11-08Ignore .pc directory when buildingBenjamin Barenblat
2019-11-08Differentiate between Python scripts and librariesBenjamin Barenblat
2019-11-08Avoid invoking /usr/bin/envBenjamin Barenblat
2019-11-08Disable tests which require -coqlib to be setBenjamin Barenblat
[...]
 
Clone
https://git.dgit.debian.org/coq
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-07 21:17:28 +0000