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 Glondu6 years
debian/8.5.1-1commit 017a43a2b7...Gravatar Stephane Glondu8 years
debian/0.4-5commit 12c05cd7e5...Gravatar Stephane Glondu8 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
2019-02-17Release for unstableHEADmasterGravatar Benjamin Barenblat
2019-02-17Fix install on platforms without ocamloptGravatar Benjamin Barenblat
2019-02-17Fix build on platforms without ocamloptGravatar Benjamin Barenblat
2019-02-17Correct copyright date for my contributionsGravatar Benjamin Barenblat
2019-02-17Update Lintian overridesGravatar Benjamin Barenblat
2019-02-17Ensure .cmi files are available when running ocamldocGravatar Benjamin Barenblat
2019-02-17Don’t install .cm(a|x|xa) filesGravatar Benjamin Barenblat
2019-02-17Update path to .mli filesGravatar Benjamin Barenblat
2019-02-17Ensure both bytecode and native code builds on native-code platformsGravatar Benjamin Barenblat
2019-02-17Perform clean by calling `make clean`, not `make distclean`Gravatar Benjamin Barenblat
2019-02-17Make build verboseGravatar Benjamin Barenblat
2019-02-17Update Standards-VersionGravatar Benjamin Barenblat
2019-02-17Update upstream URL in copyright fileGravatar Benjamin Barenblat
2019-02-17Update docs listGravatar Benjamin Barenblat
2019-02-17Update Vcs-* URLs for Salsa migrationGravatar Benjamin Barenblat
2019-02-17Update build dependenciesGravatar Benjamin Barenblat
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-aac-tactics.git
https://salsa.debian.org/ocaml-team/aac-tactics.git