summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterRelease for unstableBenjamin Barenblat2 years
pristine-tarpristine-tar data for aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gzBenjamin Barenblat2 years
upstreamNew upstream version 8.8.0+1.gbp069dc3bBenjamin Barenblat2 years
 
TagDownloadAuthorAge
upstream/8.8.0+1.gbp069dc3bcommit 8018e923c7...Benjamin Barenblat2 years
debian/8.6.1-2commit 4f8ae900f8...Stephane Glondu3 years
debian/8.5.1-1commit 017a43a2b7...Stephane Glondu5 years
debian/0.4-5commit 12c05cd7e5...Stephane Glondu5 years
debian/0.4-4commit fa26ac903f...Stephane Glondu6 years
debian/0.4-3commit d7d98d1081...Stephane Glondu7 years
debian/0.4-2commit 09c08cc6fe...Stephane Glondu7 years
debian/0.4-1commit b15037734a...Stephane Glondu7 years
upstream/0.4commit a77bca8456...Stephane Glondu7 years
debian/0.3.pl1-1commit cfe42626a0...Stephane Glondu8 years
upstream/0.3.pl1commit 7242d75664...Stephane Glondu8 years
debian/0.3-2commit e1355f4a0c...Stephane Glondu8 years
debian/0.3-1commit 0ed339960a...Stephane Glondu8 years
upstream/0.3commit 8917ab003a...Stephane Glondu8 years
debian/0.2.pl2-7commit 967ef647c7...Stephane Glondu9 years
debian/0.2.pl2-6commit 4cb0bf1ddb...Stephane Glondu9 years
[...]
 
AgeCommit messageAuthor
2019-02-17Release for unstableHEADmasterBenjamin Barenblat
2019-02-17Fix install on platforms without ocamloptBenjamin Barenblat
2019-02-17Fix build on platforms without ocamloptBenjamin Barenblat
2019-02-17Correct copyright date for my contributionsBenjamin Barenblat
2019-02-17Update Lintian overridesBenjamin Barenblat
2019-02-17Ensure .cmi files are available when running ocamldocBenjamin Barenblat
2019-02-17Don’t install .cm(a|x|xa) filesBenjamin Barenblat
2019-02-17Update path to .mli filesBenjamin Barenblat
2019-02-17Ensure both bytecode and native code builds on native-code platformsBenjamin Barenblat
2019-02-17Perform clean by calling `make clean`, not `make distclean`Benjamin Barenblat
2019-02-17Make build verboseBenjamin Barenblat
2019-02-17Update Standards-VersionBenjamin Barenblat
2019-02-17Update upstream URL in copyright fileBenjamin Barenblat
2019-02-17Update docs listBenjamin Barenblat
2019-02-17Update Vcs-* URLs for Salsa migrationBenjamin Barenblat
2019-02-17Update build dependenciesBenjamin Barenblat
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-aac-tactics.git
https://salsa.debian.org/ocaml-team/aac-tactics.git