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
*
Update to debhelper 10
Benjamin Barenblat
2019-02-13
*
Begin packaging v8.9 snapshot
Benjamin Barenblat
2019-02-13
*
Updated version 8.8.0+1.gbp069dc3b from 'upstream/8.8.0+1.gbp069dc3b'
Benjamin Barenblat
2019-02-13
|
\
|
*
New upstream version 8.8.0+1.gbp069dc3b
upstream/8.8.0+1.gbp069dc3b
upstream
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
*
|
Merge tag 'upstream/8.6.1'
Enrico Tassi
2016-12-28
|
\
|
|
*
New upstream version 8.6.1
Enrico Tassi
2016-12-28
*
|
aac for Coq 8.6
Enrico Tassi
2016-12-28
*
|
Merge tag 'upstream/8.6'
Enrico Tassi
2016-12-27
|
\
|
|
*
New upstream version 8.6
Enrico Tassi
2016-12-27
*
|
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
*
|
Merge tag 'upstream/8.5.1'
Nicolas Braud-Santoni
2016-07-23
|
\
|
|
*
Imported Upstream version 8.5.1
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
*
|
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
[next]