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
2012-06-09Recompile with camlp5 6.06 (no changes)debian/0.2.pl2-7Gravatar Stephane Glondu
2012-04-01Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)debian/0.2.pl2-6Gravatar Stephane Glondu
2012-03-05Recompile with camlp5 6.04 (no changes)debian/0.2.pl2-5Gravatar Stephane Glondu
2011-12-25Rebuild with Coq 8.3pl3 (no source changes)debian/0.2.pl2-4Gravatar Stephane Glondu
2011-11-03Prepare upload to unstabledebian/0.2.pl2-3Gravatar Stephane Glondu
2011-11-03Bump Standards-Version to 3.9.2 (no changes)Gravatar Stephane Glondu
2011-05-01Upload to unstabledebian/0.2.pl2-2Gravatar Stephane Glondu
2011-02-28Prepare upload to experimentaldebian/0.2.pl2-1Gravatar Stephane Glondu
2011-02-22Fix Vcs-* URLsGravatar Stephane Glondu
2011-02-21Do not remove Makefile on cleanGravatar Stephane Glondu
2011-02-21New upstream releaseGravatar Stephane Glondu
2011-02-21Merge commit 'upstream/0.2.pl2'Gravatar Stephane Glondu
2011-02-21Imported Upstream version 0.2.pl2upstream/0.2.pl2Gravatar Stephane Glondu
2011-02-21Update debian/watchGravatar Stephane Glondu
2010-12-01Update packagingGravatar Stephane Glondu
2010-12-01New upstream releaseGravatar 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-05-04 11:33:40 +0000