hol-light (1:3.0.0-2) unstable; urgency=medium * Team upload. * Remove libcoq-bignums on B-D from previous upload. -- Bo YU Sun, 15 Dec 2024 21:49:40 +0800 hol-light (1:3.0.0-1) unstable; urgency=medium * Team upload. * Enable d/watch - Clear some comments on d/watch * New upstream version 3.0.0. (Closes: #1073882) * Refresh d/patches/* - Drop 0004-Fix-build-with-camlp5-8.03.00.patch - Drop default-hollight-dir * Add libzarith-ocaml-dev and libcoq-bignums on B-D. * Use $(MAKE) to build it. * No need to install usr/share/hol-light/* explicitly. * Update d/copyright * Bump std-ver to 4.7.0 * Add epoch to version number -- Bo YU Tue, 26 Nov 2024 12:34:41 +0800 hol-light (20231021-2) unstable; urgency=medium * Team upload * Fix build with camlp5 8.03.00 -- Stéphane Glondu Sun, 30 Jun 2024 10:31:46 +0200 hol-light (20231021-1) unstable; urgency=medium * Team upload * New upstream snapshot -- Stéphane Glondu Mon, 23 Oct 2023 15:10:13 +0200 hol-light (20230128-2) unstable; urgency=medium * Team upload * Add support for camlp5 8.02 * Bump Standards-Version to 4.6.2 -- Stéphane Glondu Thu, 07 Sep 2023 03:44:32 +0200 hol-light (20230128-1) unstable; urgency=medium [ Stéphane Glondu ] * Team upload * New upstream snapshot (Closes: #1002983) [ Debian Janitor ] * debian/copyright: use spaces rather than tabs to start continuation lines. * Use secure URI in Homepage field. * Bump debhelper from old 12 to 13. + Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now does this. + debian/rules: Drop --fail-missing argument to dh_missing, which is now the default. * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse. * Update standards version to 4.6.0, no changes needed. -- Stéphane Glondu Tue, 31 Jan 2023 12:10:03 +0100 hol-light (20190729-4) unstable; urgency=medium * Team upload * Fix compilation with camlp5 7.11 -- Stéphane Glondu Wed, 12 Feb 2020 05:43:48 +0100 hol-light (20190729-3) unstable; urgency=medium * Team upload * Add libnum-ocaml-dev to Build-Depends (Closes: #944277) * Bump debhelper compat level to 12 * Bump Standards-Version to 4.4.1 * Add Rules-Requires-Root: no -- Stéphane Glondu Sun, 29 Dec 2019 13:24:09 +0100 hol-light (20190729-2) unstable; urgency=medium * Team upload. * Fix bad license in copyright file -- Gianfranco Costamagna Mon, 29 Jul 2019 15:24:03 +0200 hol-light (20190729-1) unstable; urgency=medium * Team Upload * Cherry-pick changes from git: - add python runtime dependency - bump compat level to 10 - README.debian: updated - udpate std-version to 4.4.0 * Fix lintian warning about trailing whitespace * Fix lintian warning about not honouring nocheck test DH parameter * Fix lintian warning about deprecated extra priority. * update VCS fields to new location * remove trailing newlines * update changelog with missing changelog entry * Ack previous NMU -- Gianfranco Costamagna Mon, 29 Jul 2019 14:54:22 +0200 hol-light (20190729-0.1) unstable; urgency=medium * Non-maintainer upload * New upstream snapshot (Closes: #876533) - Patch for new ocaml and camlp5 - tweak rules file to stop copy of the new ml file This is already done in upstream build system. - do not install .pc file in the system (Closes: #878615) * Update copyright file * Update copyright file http in https mode -- Gianfranco Costamagna Sat, 27 Jul 2019 10:19:28 +0200 hol-light (20171023-1) unstable; urgency=medium * Imported upstream version 20171023 with git hash 39d9bf8b2958a288905661f969e9ab25b5ed74aa * delete camlp5-7 patch - was applied upstream; refresh other patches * compat level 10, standards version 4.1.1 * update rules with new pa_j implementation (Closes: #876533) * minor change in control file - Flyspeck is completed * update copyright file * clear executable bit deletion in rules - has been fixed upstream * change to priority optional as demanded by lintian * suggests python as demanded by lintian * exclude .pc directory during installation (Closes: #878615) * README.Debian: hints on native toplevel and testsuite updates * delete some trailing whitespace for lintian -- Hendrik Tews Sun, 29 Oct 2017 20:55:28 +0100 hol-light (20170109-2) unstable; urgency=medium [ Hendrik Tews ] * add patch camlp5-7 for fixing FTBFS with camlp5-7.01 (Closes: #868606) * update build dependency for camlp5 -- Hendrik Tews Wed, 02 Aug 2017 23:05:25 +0200 hol-light (20170109-1) unstable; urgency=low [ Mehdi Dogguy ] * Update watch file [ Hendrik Tews ] * Imported Upstream version 20170109 with git hash f468686c09996f77ccfa98c30ba98f8db2c8cfd9 * update copyright, patches, README.Debian * standards-version 3.9.8; update Vcs fields * disable building the Mizarlight syntax extension (fails upstream with OCaml 4.02 - already reported to John Harrison) * clear exec bit fix on RichterHilbertAxiomGeometry/Topology.ml (fixed upstream) * add exec bit fixes for Help/HYP_TAC.doc, RichterHilbertAxiomGeometry/TarskiAxiomGeometry_read.ml and Multivariate/cvectors.ml * don't install jar files in Proofrecording/tools * add patch cd-holtest-parallel to fix current directory in parallel test -- Hendrik Tews Mon, 09 Jan 2017 23:27:28 +0100 hol-light (20131026-1) unstable; urgency=low * new upstream version revision 177 from 2013-10-26 * use new pa_j and adjust camlp5 dependencies * delete executable bit of RichterHilbertAxiomGeometry/Topology.ml during installation -- Hendrik Tews Sun, 10 Nov 2013 20:37:21 +0100 hol-light (20130811-1) unstable; urgency=low * new upstream version revision 170 from 2013-08-11 * fix vcs fields * refresh patches * delete include-compiler-libs patch (applied upstream) * update elc file path in hol-light-source.exclude * update copyright -- Hendrik Tews Wed, 14 Aug 2013 22:45:11 +0200 hol-light (20130511-1) unstable; urgency=low * new upstream version revision 162 from 2013-05-11 * fix typo in package description (Closes: #680494) * set prioity to extra * omit new elc file from package * adapt copyright info * add new patch include-compiler-libs for OCaml 4 compatibility * bump to standards version 3.9.4 * improve debian readme -- Hendrik Tews Fri, 17 May 2013 13:54:42 +0200 hol-light (20120602-1) unstable; urgency=low * new upstream version revision 146 from 2012-06-02 * remove holtest-dependency-hint patch * refresh remaining patches -- Hendrik Tews Sun, 10 Jun 2012 21:59:35 +0200 hol-light (20120530-1) unstable; urgency=low * new upstream version revision 141 from 2012-05-30 * remove patches that have been applied upstream: adapt-holtest-for-debian and pa-j-makefile-fix * adapt debian/copyright * simplify debian/rules * add patch holtest-dependency-hint -- Hendrik Tews Thu, 31 May 2012 10:12:15 +0200 hol-light (20120423-1) unstable; urgency=low * Initial release (Closes: #663754) -- Hendrik Tews Tue, 24 Apr 2012 20:40:39 +0200