index
:
debian-aac-tactics
master
pristine-tar
upstream
Debian packaging for aac-tactics
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Merge tag 'upstream/0.4'
Stephane Glondu
2013-12-05
|
\
|
*
Imported Upstream version 0.4
upstream/0.4
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
*
|
Merge tag 'upstream/0.3.pl1'
Stephane Glondu
2013-05-09
|
\
|
|
*
Imported Upstream version 0.3.pl1
upstream/0.3.pl1
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
*
|
Merge tag 'upstream/0.3'
Stephane Glondu
2012-09-20
|
\
|
|
*
Imported Upstream version 0.3
upstream/0.3
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
*
|
Merge commit 'upstream/0.2.pl2'
Stephane Glondu
2011-02-21
|
\
|
|
*
Imported Upstream version 0.2.pl2
upstream/0.2.pl2
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
*
|
Merge commit 'upstream/0.2.1'
Stephane Glondu
2010-12-01
|
\
|
|
*
Imported Upstream version 0.2.1
upstream/0.2.1
Stephane Glondu
2010-12-01
|
*
Imported Upstream version 0.2
upstream/0.2
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
|
/
*
Imported Upstream version 0.1-r13244
upstream/0.1-r13244
Stephane Glondu
2010-11-29