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
*
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
*
This version requires a bugfix in Coq
Stephane Glondu
2012-09-22
*
Fix FTBFS without natdynlink
Stephane Glondu
2012-09-22
*
Prepare upload to experimental
debian/0.3-1
Stephane Glondu
2012-09-21
*
Update build system
Stephane Glondu
2012-09-21
*
Bump Coq version
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
*
Bump Standards-Version to 3.9.2 (no changes)
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
*
Fix Vcs-* URLs
Stephane Glondu
2011-02-22
*
Do not remove Makefile on clean
Stephane Glondu
2011-02-21
*
New upstream release
Stephane Glondu
2011-02-21
*
Update debian/watch
Stephane Glondu
2011-02-21
*
Update packaging
Stephane Glondu
2010-12-01
*
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