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
/
changelog
Commit message (
Expand
)
Author
Age
*
Begin packaging 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
*
debian/changelog: Close bug #813459
Nicolas Braud-Santoni
2016-07-23
*
Prepare upload
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
*
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
*
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
*
New upstream release
Stephane Glondu
2013-05-09
*
Update changelog and prepare upload to experimental
debian/0.3-2
Stephane Glondu
2012-09-22
*
Prepare upload to experimental
debian/0.3-1
Stephane Glondu
2012-09-21
*
New upstream release
Stephane Glondu
2012-09-20
*
Recompile with camlp5 6.06 (no changes)
debian/0.2.pl2-7
Stephane Glondu
2012-06-09
*
Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)
debian/0.2.pl2-6
Stephane Glondu
2012-04-01
*
Recompile with camlp5 6.04 (no changes)
debian/0.2.pl2-5
Stephane Glondu
2012-03-05
*
Rebuild with Coq 8.3pl3 (no source changes)
debian/0.2.pl2-4
Stephane Glondu
2011-12-25
*
Prepare upload to unstable
debian/0.2.pl2-3
Stephane Glondu
2011-11-03
*
Upload to unstable
debian/0.2.pl2-2
Stephane Glondu
2011-05-01
*
Prepare upload to experimental
debian/0.2.pl2-1
Stephane Glondu
2011-02-28
*
New upstream release
Stephane Glondu
2011-02-21
*
New upstream release
Stephane Glondu
2010-12-01
*
Fill ITP number and prepare upload to experimental
debian/0.1-r13244-1
Stephane Glondu
2010-11-30
*
Initial packaging
Stephane Glondu
2010-11-30