summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* Release for unstableHEADmasterGravatar Benjamin Barenblat2019-02-17
* Fix install on platforms without ocamloptGravatar Benjamin Barenblat2019-02-17
* Fix build on platforms without ocamloptGravatar Benjamin Barenblat2019-02-17
* Correct copyright date for my contributionsGravatar Benjamin Barenblat2019-02-17
* Update Lintian overridesGravatar Benjamin Barenblat2019-02-17
* Ensure .cmi files are available when running ocamldocGravatar Benjamin Barenblat2019-02-17
* Don’t install .cm(a|x|xa) filesGravatar Benjamin Barenblat2019-02-17
* Update path to .mli filesGravatar Benjamin Barenblat2019-02-17
* Ensure both bytecode and native code builds on native-code platformsGravatar Benjamin Barenblat2019-02-17
* Perform clean by calling `make clean`, not `make distclean`Gravatar Benjamin Barenblat2019-02-17
* Make build verboseGravatar Benjamin Barenblat2019-02-17
* Update Standards-VersionGravatar Benjamin Barenblat2019-02-17
* Update upstream URL in copyright fileGravatar Benjamin Barenblat2019-02-17
* Update docs listGravatar Benjamin Barenblat2019-02-17
* Update Vcs-* URLs for Salsa migrationGravatar Benjamin Barenblat2019-02-17
* Update build dependenciesGravatar Benjamin Barenblat2019-02-17
* Update to debhelper 10Gravatar Benjamin Barenblat2019-02-13
* Begin packaging v8.9 snapshotGravatar Benjamin Barenblat2019-02-13
* Prepare to import v8.9 snapshotGravatar Benjamin Barenblat2019-02-13
* Recompile with OCaml 4.05.0debian/8.6.1-2Gravatar Stephane Glondu2017-10-09
* 8.6.1Gravatar Enrico Tassi2016-12-28
* aac for Coq 8.6Gravatar Enrico Tassi2016-12-28
* Upload to unstabledebian/8.5.1-1Gravatar Stephane Glondu2016-08-01
* Update changelogGravatar Nicolas Braud-Santoni2016-07-31
* Fail on non-installed files, and install .v filesGravatar Nicolas Braud-Santoni2016-07-31
* Update 0001-Fix-typos.patchGravatar Nicolas Braud-Santoni2016-07-25
* debian/changelog: Close bug #813459Gravatar Nicolas Braud-Santoni2016-07-23
* Prepare uploadGravatar Nicolas Braud-Santoni2016-07-23
* Bump Standards-Version to 3.9.8Gravatar Nicolas Braud-Santoni2016-07-23
* Fix typosGravatar Nicolas Braud-Santoni2016-07-23
* Fix installed docsGravatar Nicolas Braud-Santoni2016-07-23
* debian/rules: Do not fail on non-installed filesGravatar Nicolas Braud-Santoni2016-07-23
* New upstream URL & watch fileGravatar Nicolas Braud-Santoni2016-07-23
* Use HTTPS for Vcs-* linksGravatar Nicolas Braud-Santoni2016-07-23
* Recompile with OCaml 4.02.3debian/0.4-5Gravatar Stephane Glondu2015-10-14
* Update changelog and prepare upload to unstabledebian/0.4-4Gravatar Stephane Glondu2015-08-10
* Bump debhelper compat level to 9Gravatar Stephane Glondu2015-08-10
* Bump Standards-Version to 3.9.6Gravatar Stephane Glondu2015-08-10
* New Homepage, drop debian/watchGravatar Stephane Glondu2015-08-10
* Recompile with coq 8.4pl4debian/0.4-3Gravatar Stephane Glondu2014-07-30
* Update changelog and prepare upload to unstabledebian/0.4-2Gravatar Stephane Glondu2014-01-20
* Update Vcs-*Gravatar Stephane Glondu2014-01-20
* Bump Standards-Version to 3.9.5 (no changes)Gravatar Stephane Glondu2014-01-20
* Prepare upload to unstabledebian/0.4-1Gravatar Stephane Glondu2013-12-05
* New upstream releaseGravatar Stephane Glondu2013-12-05
* Update changelog and prepare upload to unstabledebian/0.3.pl1-1Gravatar Stephane Glondu2013-05-09
* Bump Standards-Version to 3.9.4Gravatar Stephane Glondu2013-05-09
* Use format version 1.0 in debian/copyrightGravatar Stephane Glondu2013-05-09
* New upstream releaseGravatar Stephane Glondu2013-05-09
* Update changelog and prepare upload to experimentaldebian/0.3-2Gravatar Stephane Glondu2012-09-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-20 06:56:52 +0000