summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterDeclare fast forward from 2.0.0-6Stéphane Glondu4 years
 
TagDownloadAuthorAge
archive/debian/2.0.0-7commit 0cd9a68687...Stéphane Glondu4 years
debian/2.0.0-7commit 8b30ab7054...Stéphane Glondu4 years
archive/debian/2.0.0-5commit 3398fd4100...Stéphane Glondu5 years
debian/2.0.0-5commit 9c35c492f5...Stéphane Glondu5 years
archive/debian/2.0.0-4commit 9f4388131d...Stéphane Glondu5 years
debian/2.0.0-4commit e36eac3b86...Stéphane Glondu5 years
 
AgeCommit messageAuthor
2020-08-11Declare fast forward from 2.0.0-6HEADarchive/debian/2.0.0-7masterStéphane Glondu
2020-08-11Fix compilation with camlzip >= 1.08Stephane Glondu
2020-08-11No need to activate debug flagMehdi Dogguy
2020-08-11Prepare upload to unstabledebian/2.0.0-7Stephane Glondu
2020-08-11Update changelogStephane Glondu
2020-08-11Update packagingStephane Glondu
2020-08-11Update debian/watchStephane Glondu
2020-04-15bump stndards versionRalf Treinen
2020-04-15Record alt-ergo (2.0.0-6) in archive suite sidRalf Treinen
2020-04-15Fix compilation with camlzip >= 1.08Stephane Glondu
[...]
 
Clone
https://git.dgit.debian.org/alt-ergo
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-23 07:11:26 +0000