summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterRelease for unstableGravatar Benjamin Barenblat5 years
pristine-tarpristine-tar data for aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gzGravatar Benjamin Barenblat5 years
upstreamNew upstream version 8.8.0+1.gbp069dc3bGravatar Benjamin Barenblat5 years
 
TagDownloadAuthorAge
upstream/8.8.0+1.gbp069dc3bcommit 8018e923c7...Gravatar Benjamin Barenblat5 years
debian/8.6.1-2commit 4f8ae900f8...Gravatar Stephane Glondu7 years
debian/8.5.1-1commit 017a43a2b7...Gravatar Stephane Glondu8 years
debian/0.4-5commit 12c05cd7e5...Gravatar Stephane Glondu9 years
debian/0.4-4commit fa26ac903f...Gravatar Stephane Glondu9 years
debian/0.4-3commit d7d98d1081...Gravatar Stephane Glondu10 years
debian/0.4-2commit 09c08cc6fe...Gravatar Stephane Glondu10 years
debian/0.4-1commit b15037734a...Gravatar Stephane Glondu10 years
upstream/0.4commit a77bca8456...Gravatar Stephane Glondu10 years
debian/0.3.pl1-1commit cfe42626a0...Gravatar Stephane Glondu11 years
upstream/0.3.pl1commit 7242d75664...Gravatar Stephane Glondu11 years
debian/0.3-2commit e1355f4a0c...Gravatar Stephane Glondu12 years
debian/0.3-1commit 0ed339960a...Gravatar Stephane Glondu12 years
upstream/0.3commit 8917ab003a...Gravatar Stephane Glondu12 years
debian/0.2.pl2-7commit 967ef647c7...Gravatar Stephane Glondu12 years
debian/0.2.pl2-6commit 4cb0bf1ddb...Gravatar Stephane Glondu12 years
[...]
 
AgeCommit messageAuthor
2014-07-30Recompile with coq 8.4pl4debian/0.4-3Gravatar Stephane Glondu
2014-01-20Update changelog and prepare upload to unstabledebian/0.4-2Gravatar Stephane Glondu
2014-01-20Update Vcs-*Gravatar Stephane Glondu
2014-01-20Bump Standards-Version to 3.9.5 (no changes)Gravatar Stephane Glondu
2013-12-05Prepare upload to unstabledebian/0.4-1Gravatar Stephane Glondu
2013-12-05New upstream releaseGravatar Stephane Glondu
2013-12-05Merge tag 'upstream/0.4'Gravatar Stephane Glondu
2013-12-05Imported Upstream version 0.4upstream/0.4Gravatar Stephane Glondu
2013-05-09Update changelog and prepare upload to unstabledebian/0.3.pl1-1Gravatar Stephane Glondu
2013-05-09Bump Standards-Version to 3.9.4Gravatar Stephane Glondu
2013-05-09Use format version 1.0 in debian/copyrightGravatar Stephane Glondu
2013-05-09New upstream releaseGravatar Stephane Glondu
2013-05-09Merge tag 'upstream/0.3.pl1'Gravatar Stephane Glondu
2013-05-09Imported Upstream version 0.3.pl1upstream/0.3.pl1Gravatar Stephane Glondu
2012-09-22Update changelog and prepare upload to experimentaldebian/0.3-2Gravatar Stephane Glondu
2012-09-22This version requires a bugfix in CoqGravatar Stephane Glondu
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-aac-tactics.git
https://salsa.debian.org/ocaml-team/aac-tactics.git
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-28 12:46:46 +0000