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
2016-08-01Upload to unstabledebian/8.5.1-1Gravatar Stephane Glondu
2016-07-31Update changelogGravatar Nicolas Braud-Santoni
2016-07-31Fail on non-installed files, and install .v filesGravatar Nicolas Braud-Santoni
2016-07-25Update 0001-Fix-typos.patchGravatar Nicolas Braud-Santoni
2016-07-23debian/changelog: Close bug #813459Gravatar Nicolas Braud-Santoni
2016-07-23Prepare uploadGravatar Nicolas Braud-Santoni
2016-07-23Bump Standards-Version to 3.9.8Gravatar Nicolas Braud-Santoni
2016-07-23Fix typosGravatar Nicolas Braud-Santoni
2016-07-23Fix installed docsGravatar Nicolas Braud-Santoni
2016-07-23debian/rules: Do not fail on non-installed filesGravatar Nicolas Braud-Santoni
2016-07-23Merge tag 'upstream/8.5.1'Gravatar Nicolas Braud-Santoni
2016-07-23Imported Upstream version 8.5.1Gravatar Nicolas Braud-Santoni
2016-07-23New upstream URL & watch fileGravatar Nicolas Braud-Santoni
2016-07-23Use HTTPS for Vcs-* linksGravatar Nicolas Braud-Santoni
2015-10-14Recompile with OCaml 4.02.3debian/0.4-5Gravatar Stephane Glondu
2015-08-10Update changelog and prepare upload to unstabledebian/0.4-4Gravatar 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 04:35:45 +0000