summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterDeclare fast forward from 8.17.0-2Stéphane Glondu7 months
 
TagDownloadAuthorAge
archive/debian/8.17.0-3commit b09c007bbb...Stéphane Glondu7 months
debian/8.17.0-3commit 8cd66b924e...Stéphane Glondu7 months
archive/debian/8.9.0-1commit 1cd48eccaa...Stéphane Glondu4 years
debian/8.9.0-1commit 7d857a1703...Stéphane Glondu4 years
 
AgeCommit messageAuthor
2023-09-12Declare fast forward from 8.17.0-2HEADarchive/debian/8.17.0-3masterStéphane Glondu
2023-09-12Update changelog and prepare upload to unstabledebian/8.17.0-3Stephane Glondu
2023-08-07Build-depend on ocaml instead of ocaml-noxStephane Glondu
2023-06-12Prepare for uploadJulien Puydt
2023-06-12Record aac-tactics (8.17.0-2) in archive suite sidJulien Puydt
2023-06-12aac-tactics (8.17.0-2) unstable; urgency=mediumJulien Puydt
2023-06-12Import aac-tactics_8.17.0-2.debian.tar.xzJulien Puydt
2023-06-12Bump Coq version dependJulien Puydt
2023-06-11Added lintian overrides for false issuesJulien Puydt
2023-01-03Prepare for uploadJulien Puydt
[...]
 
Clone
https://git.dgit.debian.org/aac-tactics
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-26 22:57:59 +0000