index
:
debian-aac-tactics
master
pristine-tar
upstream
Debian packaging for aac-tactics
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
Commit message (
Expand
)
Author
Age
*
Release for unstable
HEAD
master
Benjamin Barenblat
2019-02-17
*
Fix install on platforms without ocamlopt
Benjamin Barenblat
2019-02-17
*
Fix build on platforms without ocamlopt
Benjamin Barenblat
2019-02-17
*
Correct copyright date for my contributions
Benjamin Barenblat
2019-02-17
*
Update Lintian overrides
Benjamin Barenblat
2019-02-17
*
Ensure .cmi files are available when running ocamldoc
Benjamin Barenblat
2019-02-17
*
Don’t install .cm(a|x|xa) files
Benjamin Barenblat
2019-02-17
*
Update path to .mli files
Benjamin Barenblat
2019-02-17
*
Ensure both bytecode and native code builds on native-code platforms
Benjamin Barenblat
2019-02-17
*
Perform clean by calling `make clean`, not `make distclean`
Benjamin Barenblat
2019-02-17
*
Make build verbose
Benjamin Barenblat
2019-02-17
*
Update Standards-Version
Benjamin Barenblat
2019-02-17
*
Update upstream URL in copyright file
Benjamin Barenblat
2019-02-17
*
Update docs list
Benjamin Barenblat
2019-02-17
*
Update Vcs-* URLs for Salsa migration
Benjamin Barenblat
2019-02-17
*
Update build dependencies
Benjamin Barenblat
2019-02-17
*
Update to debhelper 10
Benjamin Barenblat
2019-02-13
*
Begin packaging v8.9 snapshot
Benjamin Barenblat
2019-02-13
*
Prepare to import v8.9 snapshot
Benjamin Barenblat
2019-02-13
*
Recompile with OCaml 4.05.0
debian/8.6.1-2
Stephane Glondu
2017-10-09
*
8.6.1
Enrico Tassi
2016-12-28
*
aac for Coq 8.6
Enrico Tassi
2016-12-28
*
Upload to unstable
debian/8.5.1-1
Stephane Glondu
2016-08-01
*
Update changelog
Nicolas Braud-Santoni
2016-07-31
*
Fail on non-installed files, and install .v files
Nicolas Braud-Santoni
2016-07-31
*
Update 0001-Fix-typos.patch
Nicolas Braud-Santoni
2016-07-25
*
debian/changelog: Close bug #813459
Nicolas Braud-Santoni
2016-07-23
*
Prepare upload
Nicolas Braud-Santoni
2016-07-23
*
Bump Standards-Version to 3.9.8
Nicolas Braud-Santoni
2016-07-23
*
Fix typos
Nicolas Braud-Santoni
2016-07-23
*
Fix installed docs
Nicolas Braud-Santoni
2016-07-23
*
debian/rules: Do not fail on non-installed files
Nicolas Braud-Santoni
2016-07-23
*
New upstream URL & watch file
Nicolas Braud-Santoni
2016-07-23
*
Use HTTPS for Vcs-* links
Nicolas Braud-Santoni
2016-07-23
*
Recompile with OCaml 4.02.3
debian/0.4-5
Stephane Glondu
2015-10-14
*
Update changelog and prepare upload to unstable
debian/0.4-4
Stephane Glondu
2015-08-10
*
Bump debhelper compat level to 9
Stephane Glondu
2015-08-10
*
Bump Standards-Version to 3.9.6
Stephane Glondu
2015-08-10
*
New Homepage, drop debian/watch
Stephane Glondu
2015-08-10
*
Recompile with coq 8.4pl4
debian/0.4-3
Stephane Glondu
2014-07-30
*
Update changelog and prepare upload to unstable
debian/0.4-2
Stephane Glondu
2014-01-20
*
Update Vcs-*
Stephane Glondu
2014-01-20
*
Bump Standards-Version to 3.9.5 (no changes)
Stephane Glondu
2014-01-20
*
Prepare upload to unstable
debian/0.4-1
Stephane Glondu
2013-12-05
*
New upstream release
Stephane Glondu
2013-12-05
*
Update changelog and prepare upload to unstable
debian/0.3.pl1-1
Stephane Glondu
2013-05-09
*
Bump Standards-Version to 3.9.4
Stephane Glondu
2013-05-09
*
Use format version 1.0 in debian/copyright
Stephane Glondu
2013-05-09
*
New upstream release
Stephane Glondu
2013-05-09
*
Update changelog and prepare upload to experimental
debian/0.3-2
Stephane Glondu
2012-09-22
[next]