[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20171023-1 created (now c8905e2)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/20171023-1 in repository hol-light. at c8905e2 (tag) tagging 1c4af310a9408011df6fcd3475d4f998e47d4196 (commit) replaces debian/20170109-2 tagged by Hendrik Tews on Sun Oct 29 21:57:35 2017 +0100 - Log - hol-light Debian release 20171023-1 -BEGIN PGP SIGNATURE- iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAln2QL8RHGhlbmRyaWtA YXNrcmEuZGUACgkQ7GhXfe3K7mgfkA//XyI3a0rD5Lt4DU23W/7qiFU15UFkx9ro ITerpV8geKkS4xINHxCVswvLhnCy1F+Ppx2kKXG8qDTHPMxIEDbR08sp5OeoFwpk XiP8+KmSKrlgvlu3J+CIAI43X04fyzWPzs0bbJ4UaKPqXaBuzBpHdSdODwZkqtOf ROND9aArgujIeNTv/5v3SVz7qvqO9PBctM/THuXegdEJ0HhCvuMICG7XOaGon/22 ar29V5Oi/ufTBfqbMdl5s9TOhPL8V0oNgZrVK8aVpfyQwobyDOTtsWTNFWtgzBT1 nVOJw/RK6X95xBL3+Aqno4Vzf1SgSi03JyfrtaT9YnE5WQKkEIJcCll7XPe0WQFP rqmmurMt39UGwwM1Eq8+AHc51FjWjUe0HKdLim/Khj//HPCddjYKqAMXwIJ44WUb MTysp9FkwkZicKXR5tmPGthswDzkHDOwtEK0VwBzRpty7vex/gXqXc/8DaZE68OA 1eyS+L+BfkjlHtzqAtEqPzI6JGutKJaGh9pyq4KXUJXRiFCVY3d0DlUl/qKWLFjS s4zbAXmlCOLmRVe7leJnQBWxDjErf4SA9YFBp1Wza3zSQ2i9gUqz7ojLkuDmeZLq RZE6BP9m1Ti6/Hk+84dCe/R7MFS8RlHwvLvC/gOQSGRg1fbZVfRe4u6hXjcGCdVa 1XEulXvb/7A= =Zazz -END PGP SIGNATURE- Hendrik Tews (6): New upstream version 20170917 Merge tag 'upstream/20170917' new upstream version 20170917 and related changes New upstream version 20171023 Merge tag 'upstream/20171023' finish packaging with using various upstream fixes --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] 03/06: new upstream version 20170917 and related changes
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit c1db1aeb87dcd65331ec722c659ac1739834ca69 Author: Hendrik Tews <hend...@askra.de> Date: Tue Oct 24 22:10:35 2017 +0200 new upstream version 20170917 and related changes * Imported upstream version 20170917 with git hash 4c464bee35551ce3db2ef42b51bc19f5bf638e78 * delete camlp5-7 patch - was applied upstream; refresh other patches * compat level 10, standards version 4.1.0 * update rules with new pa_j implementation * minor change in control file - Flyspeck is completed * update copyright file - a number of files have unclear license --- debian/changelog| 12 + debian/compat | 2 +- debian/control | 6 ++--- debian/copyright| 35 ++--- debian/patches/camlp5-7.patch | 23 debian/patches/holtest-no-proof-recording.patch | 2 +- debian/patches/series | 1 - debian/rules| 2 +- 8 files changed, 32 insertions(+), 51 deletions(-) diff --git a/debian/changelog b/debian/changelog index f6978d5..9c76245 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,15 @@ +hol-light (20170917-1) unstable; urgency=medium + + * Imported upstream version 20170917 +with git hash 4c464bee35551ce3db2ef42b51bc19f5bf638e78 + * delete camlp5-7 patch - was applied upstream; refresh other patches + * compat level 10, standards version 4.1.0 + * update rules with new pa_j implementation + * minor change in control file - Flyspeck is completed + * update copyright file - a number of files have unclear license + + -- Hendrik Tews <hend...@askra.de> Tue, 24 Oct 2017 22:08:25 +0200 + hol-light (20170109-2) unstable; urgency=medium [ Hendrik Tews ] diff --git a/debian/compat b/debian/compat index ec63514..f599e28 100644 --- a/debian/compat +++ b/debian/compat @@ -1 +1 @@ -9 +10 diff --git a/debian/control b/debian/control index ee0d6bb..3afc9f0 100644 --- a/debian/control +++ b/debian/control @@ -8,8 +8,8 @@ Build-Depends: camlp5 (>= 7.01), ocaml-base-nox, dh-ocaml (>= 0.9~), - debhelper (>= 9.0.0) -Standards-Version: 3.9.8 + debhelper (>= 10.0.0) +Standards-Version: 4.1.0 Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/ Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/hol-light.git Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/hol-light.git @@ -33,5 +33,5 @@ Description: HOL Light theorem prover HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point - arithmetic as well as for the Flyspeck project, which aims at the + arithmetic as well as for the Flyspeck project, which aimed at the formalization of Tom Hales' proof of the Kepler conjecture. diff --git a/debian/copyright b/debian/copyright index a39d387..0aa3642 100644 --- a/debian/copyright +++ b/debian/copyright @@ -6,7 +6,7 @@ Source: git repository at https://github.com/jrh13/hol-light Files: * Copyright: 1998 University of Cambridge - 1998-2012 John Harrison <jo...@ichips.intel.com> and others + 1998-2017 John Harrison <jo...@ichips.intel.com> and others License: BSD-2-clause @@ -63,30 +63,13 @@ Files: Formal_ineqs/arith/* Formal_ineqs/arith_options.hl Formal_ineqs/docs/* Formal_ineqs/informal/* Formal_ineqs/lib/ssreflect/* Formal_ineqs/list/* Formal_ineqs/make.ml Formal_ineqs/misc/* Formal_ineqs/taylor/* Formal_ineqs/verifier/* Formal_ineqs/verifier_options.hl -Copyright: 2012 Alexey Solovyev +Copyright: 2012-2014 Alexey Solovyev License: BSD-2-clause Comment: There is no license in all these subdirectories, but - Formal_ineqs/README.txt states that this directory is distributed + Formal_ineqs/README.md states that this directory is distributed under the same license as HOL Light. -Files: Formal_ineqs/jordan/* -Copyright: 2010 Thomas C. Hales -License: BSD-2-clause -Comment: There is no license in subdirectory Formal_ineqs/jordan, but - Formal_ineqs/README.txt states that this directory is distributed - under the same license as HOL Light. - - -Files: Formal_ineqs/verifier/interval_m/* -Copyright: 2011, 2012 Thomas C. Hales and Alexey Solovyev -License: BSD-2-clause -Comment: There is no license in subdirectory - Formal_ineqs/verifier/interval_m, but Formal_ineqs/README.txt states - that this directory is distributed under the same license as HOL - Light. - - Files: Functionspaces/* Copyright: 2012-2016 Mohamed Yousri Mahmoud, Vincent Aravantinos Hardware Verification Group, Concordia University @@ -103,6 +8
[Pkg-ocaml-maint-commits] [hol-light] 02/02: pristine-tar data for hol-light_20171023.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository hol-light. commit 0c98e8153da36c05607917a95a54fa78b661d310 Author: Hendrik Tews <hend...@askra.de> Date: Tue Oct 24 22:16:17 2017 +0200 pristine-tar data for hol-light_20171023.orig.tar.gz --- hol-light_20171023.orig.tar.gz.delta | Bin 0 -> 37440 bytes hol-light_20171023.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/hol-light_20171023.orig.tar.gz.delta b/hol-light_20171023.orig.tar.gz.delta new file mode 100644 index 000..c62b08e Binary files /dev/null and b/hol-light_20171023.orig.tar.gz.delta differ diff --git a/hol-light_20171023.orig.tar.gz.id b/hol-light_20171023.orig.tar.gz.id new file mode 100644 index 000..e35f490 --- /dev/null +++ b/hol-light_20171023.orig.tar.gz.id @@ -0,0 +1 @@ +4bef0b4e8c23500e40220601a116196f1c7162f7 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] branch pristine-tar updated (c2552f0 -> 0c98e81)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository hol-light. from c2552f0 pristine-tar data for hol-light_20170109.orig.tar.gz new 2817439 pristine-tar data for hol-light_20170917.orig.tar.gz new 0c98e81 pristine-tar data for hol-light_20171023.orig.tar.gz The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: hol-light_20170917.orig.tar.gz.delta | Bin 0 -> 37646 bytes hol-light_20170917.orig.tar.gz.id| 1 + hol-light_20171023.orig.tar.gz.delta | Bin 0 -> 37440 bytes hol-light_20171023.orig.tar.gz.id| 1 + 4 files changed, 2 insertions(+) create mode 100644 hol-light_20170917.orig.tar.gz.delta create mode 100644 hol-light_20170917.orig.tar.gz.id create mode 100644 hol-light_20171023.orig.tar.gz.delta create mode 100644 hol-light_20171023.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] branch upstream updated (991870c -> 5c800a2)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository hol-light. from 991870c Imported Upstream version 20170109 new 64d942d New upstream version 20170917 new 5c800a2 New upstream version 20171023 The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: 100/circle.ml | 6 +- 100/inclusion_exclusion.ml | 2 +- 100/lagrange.ml| 1 + 100/liouville.ml |26 - 100/minkowski.ml | 102 +- 100/pnt.ml |24 +- 100/sqrt.ml| 1 - Boyer_Moore/README |18 +- Boyer_Moore/counterexample.ml | 2 +- Boyer_Moore/definitions.ml | 2 +- Boyer_Moore/environment.ml | 4 +- Boyer_Moore/equalities.ml |11 +- Boyer_Moore/generalize.ml |55 +- Boyer_Moore/induction.ml | 4 +- Boyer_Moore/irrelevance.ml | 7 +- Boyer_Moore/main.ml| 152 +- Boyer_Moore/make.ml| 8 +- Boyer_Moore/shells.ml |14 +- Boyer_Moore/terms_and_clauses.ml |22 +- Boyer_Moore/waterfall.ml | 140 +- CHANGES| 1248 +- Complex/complex_grobner.ml | 6 +- Complex/complexnumbers.ml | 4 +- Complex/quelim.ml | 4 +- Examples/borsuk.ml | 2 +- Examples/division_algebras.ml | 196 +- Examples/kb.ml | 2 +- Examples/machin.ml | 2 +- Examples/pell.ml | 2 +- Examples/prover9.ml| 4 +- Examples/sos.ml| 2 +- Formal_ineqs/README.md |18 + Formal_ineqs/README.txt| 8 - Formal_ineqs/arith/arith_cache.hl |74 +- Formal_ineqs/arith/{float.hl => arith_float.hl}| 8075 +- Formal_ineqs/arith/arith_nat.hl| 106 + Formal_ineqs/arith/arith_num.hl| 552 +- Formal_ineqs/arith/eval_interval.hl| 201 +- Formal_ineqs/arith/float_atn.hl| 582 - Formal_ineqs/arith/float_pow.hl| 526 + Formal_ineqs/arith/float_theory.hl | 206 +- Formal_ineqs/arith/interval_arith.hl | 127 +- Formal_ineqs/arith/more_float.hl | 1087 +- Formal_ineqs/arith/nat.hl | 102 - Formal_ineqs/arith/num_exp_theory.hl | 502 +- Formal_ineqs/arith_options.hl |53 +- Formal_ineqs/docs/FormalVerifier.pdf | Bin 223139 -> 203253 bytes Formal_ineqs/docs/FormalVerifier.tex |47 +- Formal_ineqs/examples.hl |19 +- Formal_ineqs/examples_flyspeck.hl | 122 +- Formal_ineqs/examples_other.hl |35 + Formal_ineqs/examples_poly.hl |16 +- Formal_ineqs/informal/informal_arith.hl| 805 - Formal_ineqs/informal/informal_asn_acs.hl | 169 + Formal_ineqs/informal/informal_atn.hl | 228 + Formal_ineqs/informal/informal_eval_interval.hl| 208 +- Formal_ineqs/informal/informal_exp.hl | 241 + Formal_ineqs/informal/informal_float.hl| 526 + Formal_ineqs/informal/informal_interval.hl | 248 + Formal_ineqs/informal/informal_log.hl | 123 + Formal_ineqs/informal/informal_m_taylor.hl | 403 - Formal_ineqs/informal/informal_m_verifier.hl | 302 - Formal_ineqs/informal/informal_matan.hl| 206 + Formal_ineqs/informal/informal_nat.hl | 167 + Formal_ineqs/informal/informal_poly.hl | 102 + Formal_ineqs/informal/informal_search.hl | 298 + Formal_ineqs/informal/informal_sin_cos.hl | 412 + Formal_ineqs/informal/informal_taylor.hl | 667 + Formal_ineqs/informal/informal_verifier.hl | 332 + .../jordan/parse_ext_override_interface.hl | 213 -
[Pkg-ocaml-maint-commits] [hol-light] 01/02: pristine-tar data for hol-light_20170917.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository hol-light. commit 2817439898e63be97bd8144d00512a3800409d0d Author: Hendrik Tews <hend...@askra.de> Date: Sun Sep 24 22:46:52 2017 +0200 pristine-tar data for hol-light_20170917.orig.tar.gz --- hol-light_20170917.orig.tar.gz.delta | Bin 0 -> 37646 bytes hol-light_20170917.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/hol-light_20170917.orig.tar.gz.delta b/hol-light_20170917.orig.tar.gz.delta new file mode 100644 index 000..32608a6 Binary files /dev/null and b/hol-light_20170917.orig.tar.gz.delta differ diff --git a/hol-light_20170917.orig.tar.gz.id b/hol-light_20170917.orig.tar.gz.id new file mode 100644 index 000..23d9dad --- /dev/null +++ b/hol-light_20170917.orig.tar.gz.id @@ -0,0 +1 @@ +a715e4f39a00a013298e92687d96e9a195625859 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] 06/06: finish packaging with using various upstream fixes
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit 1c4af310a9408011df6fcd3475d4f998e47d4196 Author: Hendrik Tews <hend...@askra.de> Date: Fri Oct 27 22:15:41 2017 +0200 finish packaging with using various upstream fixes --- debian/README.Debian| 25 ++--- debian/changelog| 22 ++ debian/control | 11 ++- debian/copyright| 28 +--- debian/hol-light-source.exclude | 1 + debian/rules| 5 + 6 files changed, 57 insertions(+), 35 deletions(-) diff --git a/debian/README.Debian b/debian/README.Debian index 94317aa..0b8732d 100644 --- a/debian/README.Debian +++ b/debian/README.Debian @@ -58,6 +58,18 @@ libraries. You should therefore regenerate your snapshots after installing security updates. +Native Toplevel +--- + +The upstream README hints on a 4x runtime improvement by using the +native OCaml toplevel. The standard OCaml distribution has been +supporting a native toplevel for a few versions already (``make +ocamlnat''). Building the necessary camlp5 parts as native plugin is +not as easy and requires some manual fiddling. However, when I tried +the last time with OCaml 4.03, HOL Light was running 2 times slower in +the native toplevel. + + Hol Light test suite @@ -65,7 +77,7 @@ The HOL Light test suite is in /usr/share/hol-light/holtest and in /usr/share/hol-light/holtest_parallel. Both scripts run the same tests, the latter one uses ``make -j $(getconf _NPROCESSORS_ONLN)'' to run the tests in parallel on all available cores. When I last tried, -the tests run for about 70 CPU hours (10 hours on 8 cores for the +the tests run for about 35 CPU hours (12 hours on 8 cores for the parallel version). You should install the packages prover9, coinor-csdp, pari-gp and @@ -76,7 +88,7 @@ capture with something like /usr/share/hol-light/holtest 2>&1 | tee holtest.log The parallel version eventually produces the file -/tmp/hollog_<date+time>/holtest.log containing all the output. +/tmp/hol-light-test/holtest.log containing all the output. To check success you have to search for "Error", "Not_found" and "not found" in the output, for example by using @@ -86,10 +98,9 @@ using On Debian, the test suite will produce the error "Error: skip Minisat/make.ml...", because the Minisat examples cannot be run without zChaff, which is not available in Debian. Additionally, the -tests Mizarlight/make.ml, miz3/make.ml and QBF/make.ml will fail as -they do for the upstream version. On architecture i386 (and probably -other 32 bit architectures as well), the test 100/pnt.ml fails because -it runs out of memory. +test Mizarlight/make.ml will fail as it does for the upstream version. +On architecture i386 (and probably other 32 bit architectures as +well), the test 100/pnt.ml fails because it runs out of memory. Note that the above grep command produces quite a few false positives, because a number of values and exceptions contain "error" in their @@ -97,4 +108,4 @@ name. Note also, that some tests pass successfully even if the functionality is not available. - -- Hendrik Tews <hend...@askra.de>, Mon, 9 Jan 2017 23:30:42 +0100 + -- Hendrik Tews <hend...@askra.de>, Sun, 29 Oct 2017 20:15:43 +0100 diff --git a/debian/changelog b/debian/changelog index 9c76245..73bb846 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,14 +1,20 @@ -hol-light (20170917-1) unstable; urgency=medium +hol-light (20171023-1) unstable; urgency=medium - * Imported upstream version 20170917 -with git hash 4c464bee35551ce3db2ef42b51bc19f5bf638e78 + * 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.0 - * update rules with new pa_j implementation + * 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 - a number of files have unclear license + * 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 <hend...@askra.de> Tue, 24 Oct 2017 22:08:25 +0200 + -- Hendrik Tews <hend...@askra.de> Sun, 29 Oct 2017 20:55:28 +0100 hol-light (20170109-2) unstable; urgency=medium @@ -45,7 +51,7 @@ hol-l
[Pkg-ocaml-maint-commits] [hol-light] branch master updated (e4242ac -> 1c4af31)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository hol-light. from e4242ac quick fix for building with camlp5 7.01 new 64d942d New upstream version 20170917 new 7b77dc8 Merge tag 'upstream/20170917' new c1db1ae new upstream version 20170917 and related changes new 5c800a2 New upstream version 20171023 new 7a6a8aa Merge tag 'upstream/20171023' new 1c4af31 finish packaging with using various upstream fixes The 6 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: 100/circle.ml | 6 +- 100/inclusion_exclusion.ml | 2 +- 100/lagrange.ml| 1 + 100/liouville.ml |26 - 100/minkowski.ml | 102 +- 100/pnt.ml |24 +- 100/sqrt.ml| 1 - Boyer_Moore/README |18 +- Boyer_Moore/counterexample.ml | 2 +- Boyer_Moore/definitions.ml | 2 +- Boyer_Moore/environment.ml | 4 +- Boyer_Moore/equalities.ml |11 +- Boyer_Moore/generalize.ml |55 +- Boyer_Moore/induction.ml | 4 +- Boyer_Moore/irrelevance.ml | 7 +- Boyer_Moore/main.ml| 152 +- Boyer_Moore/make.ml| 8 +- Boyer_Moore/shells.ml |14 +- Boyer_Moore/terms_and_clauses.ml |22 +- Boyer_Moore/waterfall.ml | 140 +- CHANGES| 1248 +- Complex/complex_grobner.ml | 6 +- Complex/complexnumbers.ml | 4 +- Complex/quelim.ml | 4 +- Examples/borsuk.ml | 2 +- Examples/division_algebras.ml | 196 +- Examples/kb.ml | 2 +- Examples/machin.ml | 2 +- Examples/pell.ml | 2 +- Examples/prover9.ml| 4 +- Examples/sos.ml| 2 +- Formal_ineqs/README.md |18 + Formal_ineqs/README.txt| 8 - Formal_ineqs/arith/arith_cache.hl |74 +- Formal_ineqs/arith/{float.hl => arith_float.hl}| 8075 +- Formal_ineqs/arith/arith_nat.hl| 106 + Formal_ineqs/arith/arith_num.hl| 552 +- Formal_ineqs/arith/eval_interval.hl| 201 +- Formal_ineqs/arith/float_atn.hl| 582 - Formal_ineqs/arith/float_pow.hl| 526 + Formal_ineqs/arith/float_theory.hl | 206 +- Formal_ineqs/arith/interval_arith.hl | 127 +- Formal_ineqs/arith/more_float.hl | 1087 +- Formal_ineqs/arith/nat.hl | 102 - Formal_ineqs/arith/num_exp_theory.hl | 502 +- Formal_ineqs/arith_options.hl |53 +- Formal_ineqs/docs/FormalVerifier.pdf | Bin 223139 -> 203253 bytes Formal_ineqs/docs/FormalVerifier.tex |47 +- Formal_ineqs/examples.hl |19 +- Formal_ineqs/examples_flyspeck.hl | 122 +- Formal_ineqs/examples_other.hl |35 + Formal_ineqs/examples_poly.hl |16 +- Formal_ineqs/informal/informal_arith.hl| 805 - Formal_ineqs/informal/informal_asn_acs.hl | 169 + Formal_ineqs/informal/informal_atn.hl | 228 + Formal_ineqs/informal/informal_eval_interval.hl| 208 +- Formal_ineqs/informal/informal_exp.hl | 241 + Formal_ineqs/informal/informal_float.hl| 526 + Formal_ineqs/informal/informal_interval.hl | 248 + Formal_ineqs/informal/informal_log.hl | 123 + Formal_ineqs/informal/informal_m_taylor.hl | 403 - Formal_ineqs/informal/informal_m_verifier.hl | 302 - Formal_ineqs/informal/informal_matan.hl| 206 + Formal_ineqs/informal/informal_nat.hl | 167 + Formal_ineqs/informal/informal_poly.hl | 102 + Formal_ineqs/informal/informal_search.hl | 298 +
[Pkg-ocaml-maint-commits] [otags] branch upstream updated (4a91b28 -> 39b18b3)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository otags. from 4a91b28 Imported Upstream version 4.02.2 new 39b18b3 New upstream version 4.05.1 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: .cvsignore => .gitignore |4 + ChangeLog | 158 +++- INSTALL| 22 +- Makefile.in| 189 ++--- README | 61 +- add_quotation.ml | 44 -- add_quotation.mli | 35 - camlp4_names.ml| 238 -- camlp4_names.mli | 72 -- conf.ml.in | 38 +- conf.mli | 22 +- configure | 165 +--- contrib/{.cvsignore => .gitignore} |0 contrib/update-otags |4 +- contrib/update-otags.8 | 34 +- doc/{.cvsignore => .gitignore} |0 doc/changes.html | 51 +- doc/otags.1| 644 +--- doc/otags.html | 641 emacs.ml | 61 +- emacs.mli | 16 +- fix_location.ml| 93 +++ translate_location.mli => fix_location.mli | 21 +- global.ml | 31 +- global.mli | 28 +- make-distribution | 248 -- monitor_line_directive.ml | 129 monitor_line_directive.mli | 54 -- otags.ml | 347 ++--- otags_dump_ast.ml | 85 --- misc.ml => otags_misc.ml | 22 +- misc.mli => otags_misc.mli | 22 +- types.ml => otags_types.ml | 28 +- types.mli => otags_types.mli | 27 +- parser_factory.ml | 254 --- parser_factory.mli | 41 - parser_hints.ml| 124 --- parser_hints.mli | 36 - reparse.ml | 327 reparse.mli| 96 --- source_channel.ml | 47 +- source_channel.mli | 27 +- tags.ml| 1140 ++-- tags.mli | 29 +- test-distribution | 63 -- test/{.cvsignore => .gitignore}|2 +- test/a.ml | 12 +- test/cpp_i.include.ml |5 - test/cpp_i.source.ml |4 - test/cppo_i.include.ml | 12 - test/cppo_i.source.ml | 23 - test/d.ml | 12 +- test/err.ml|6 + test/f.ml |5 - test/g.mli |1 - test/ocaml-3121-hints | 219 -- test/test.TAGS | 242 +++--- test/test.tags | 28 +- test/usr-lib-ocaml-hints | 64 -- translate_location.ml | 189 - util/{.cvsignore => .gitignore}|1 + util/catch_quot_error.ml | 43 -- util/dump-camlp4.ml| 144 util/filter_for_tag.ml | 147 util/ppx_flush_catchall.ml | 164 util/test_keywords.ml | 111 --- util/test_loc_name.ml | 173 - util/test_qot.ml | 145 vi.ml | 50 +- vi.mli | 16 +- 70 files changed, 1724 insertions(+), 5912 deletions(-) rename .cvsignore => .gitignore (84%) delete mode 100644 add_quotation.ml delete mode 100644 add_quotation.mli delete mode 100644 camlp4_names.ml delete mode 100644 camlp4_names.mli rename contrib/{.cvsignore => .gitignore} (100%) rename doc/{.cvsignore => .gitignore} (100%) create mode 100644 fix_location.ml rename translate_location.mli => fix_location.mli (53%) delete mode 100755 make-distribution delete mode 100644 monitor_line_directive.ml delete mode 100644 monitor_line_directive.mli delete mode 100644 otags_dump_ast.ml rename misc.ml =>
[Pkg-ocaml-maint-commits] [otags] 01/01: pristine-tar data for otags_4.05.1.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository otags. commit 03cc0f34117ca0d56aa261556e18ebbae7555392 Author: Hendrik Tews <hend...@askra.de> Date: Sat Aug 26 20:54:15 2017 +0200 pristine-tar data for otags_4.05.1.orig.tar.gz --- otags_4.05.1.orig.tar.gz.delta | Bin 0 -> 2083 bytes otags_4.05.1.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/otags_4.05.1.orig.tar.gz.delta b/otags_4.05.1.orig.tar.gz.delta new file mode 100644 index 000..a66befb Binary files /dev/null and b/otags_4.05.1.orig.tar.gz.delta differ diff --git a/otags_4.05.1.orig.tar.gz.id b/otags_4.05.1.orig.tar.gz.id new file mode 100644 index 000..f7c30ff --- /dev/null +++ b/otags_4.05.1.orig.tar.gz.id @@ -0,0 +1 @@ +8ceb4da17676360760c5f78fc8b8b9af1fd52726 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] annotated tag debian/4.05.1-1 created (now a618e13)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/4.05.1-1 in repository otags. at a618e13 (tag) tagging adc0530fd16ccc14fd416655377d2be0c4cadb15 (commit) replaces debian/4.02.2-2 tagged by Hendrik Tews on Fri Sep 22 22:47:22 2017 +0200 - Log - otags Debian release 4.05.1-1 -BEGIN PGP SIGNATURE- iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAlnFdtoRHGhlbmRyaWtA YXNrcmEuZGUACgkQ7GhXfe3K7mjRJg//SsStZfUDQDGdOTPjfomWO1SvH2Oapwdw CzAr/NG9L21sLpj+guUy4jsU+NkqDtqZH5vWKDUKQP8EE4CCVAX7VVT18rTn/WES tyKx0kQNWkKhN+8X52Ixnmj5V+Z6FomtZCB77kGZwMlBArC/0k9Zkgy1za5Rbet9 lKGAXe87PIyU8hi94Jx2JZexKwi5Jay/bUIwbCp9MSH8Ot+LtKM7wynGjCr2fe+Y WvmmPNjUsl3pUDFc3FaHOICVqWup/RYWxr6N3p3c5ZdmqnnegbtP6dtSPN5T4LIX 1sSJ6VogpMANtg6eFyt/hH4GMlLlyXN2PtP2dVlb1/WPVVpuj+dmCyiwPfUruvkI rfLBqWUoc/HXCoe2OVuuWaJ8ajp5x+q6IMVwg/G7CoFNX2jtB4Kejrde2rDEYezd zdNOqTNuy54scKBUaovtiaYwe66loEHTdVjh6hk9HIRhG6zHemzAYPN8k7luJeev BA3rTq86itDLJe5DH29KTyJDGJufIUrVkh/h7knZpM6HAAkSVtQTFf9Pg8yBpEyw sflorYRZUhVOkXd437rTYSzTncUhAnY91Cg3E+mO5oKmGnkPiHY82kzYvaCpvlOT 1dvSZCXGzxtenwpm1ejMGXFTtkoz90oSGEdueMGIrbCEXsbL63Uk9GIxgmdE6Z6c E9wYWGapM8w= =RzDA -END PGP SIGNATURE- Hendrik Tews (3): New upstream version 4.05.1 Updated version 4.05.1 from 'upstream/4.05.1' update packageing for new version --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] annotated tag upstream/4.05.1 created (now 49b9cde)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/4.05.1 in repository otags. at 49b9cde (tag) tagging 39b18b3f29b0716d523f860fe05279fbf990d69c (commit) replaces upstream/4.02.2 tagged by Hendrik Tews on Sat Aug 26 20:54:15 2017 +0200 - Log - Upstream version 4.05.1 Hendrik Tews (1): New upstream version 4.05.1 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 02/03: Updated version 4.05.1 from 'upstream/4.05.1'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit e037903f353cc4f12ab0f69660aa708737597449 Merge: 635f74b 39b18b3 Author: Hendrik Tews <hend...@askra.de> Date: Sat Aug 26 20:54:15 2017 +0200 Updated version 4.05.1 from 'upstream/4.05.1' with Debian dir c707af76d1c3cef404744aaa7fd827ea2332975a .cvsignore | 11 - .gitignore | 14 + ChangeLog | 158 +++- INSTALL| 22 +- Makefile.in| 189 ++--- README | 61 +- add_quotation.ml | 44 -- add_quotation.mli | 35 - camlp4_names.ml| 238 -- camlp4_names.mli | 72 -- conf.ml.in | 38 +- conf.mli | 22 +- configure | 165 +--- contrib/{.cvsignore => .gitignore} |0 contrib/update-otags |4 +- contrib/update-otags.8 | 34 +- doc/{.cvsignore => .gitignore} |0 doc/changes.html | 51 +- doc/otags.1| 644 +--- doc/otags.html | 641 emacs.ml | 61 +- emacs.mli | 16 +- fix_location.ml| 93 +++ translate_location.mli => fix_location.mli | 21 +- global.ml | 31 +- global.mli | 28 +- make-distribution | 248 -- monitor_line_directive.ml | 129 monitor_line_directive.mli | 54 -- otags.ml | 347 ++--- otags_dump_ast.ml | 85 --- misc.ml => otags_misc.ml | 22 +- misc.mli => otags_misc.mli | 22 +- types.ml => otags_types.ml | 28 +- types.mli => otags_types.mli | 27 +- parser_factory.ml | 254 --- parser_factory.mli | 41 - parser_hints.ml| 124 --- parser_hints.mli | 36 - reparse.ml | 327 reparse.mli| 96 --- source_channel.ml | 47 +- source_channel.mli | 27 +- tags.ml| 1140 ++-- tags.mli | 29 +- test-distribution | 63 -- test/{.cvsignore => .gitignore}|2 +- test/a.ml | 12 +- test/cpp_i.include.ml |5 - test/cpp_i.source.ml |4 - test/cppo_i.include.ml | 12 - test/cppo_i.source.ml | 23 - test/d.ml | 12 +- test/err.ml|6 + test/f.ml |5 - test/g.mli |1 - test/ocaml-3121-hints | 219 -- test/test.TAGS | 242 +++--- test/test.tags | 28 +- test/usr-lib-ocaml-hints | 64 -- translate_location.ml | 189 - util/{.cvsignore => .gitignore}|1 + util/catch_quot_error.ml | 43 -- util/dump-camlp4.ml| 144 util/filter_for_tag.ml | 147 util/ppx_flush_catchall.ml | 164 util/test_keywords.ml | 111 --- util/test_loc_name.ml | 173 - util/test_qot.ml | 145 vi.ml | 50 +- vi.mli | 16 +- 71 files changed, 1734 insertions(+), 5923 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 03/03: update packageing for new version
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit adc0530fd16ccc14fd416655377d2be0c4cadb15 Author: Hendrik Tews <hend...@askra.de> Date: Sat Aug 26 21:20:46 2017 +0200 update packageing for new version --- debian/changelog | 15 + debian/compat | 2 +- debian/control | 9 +-- debian/copyright | 2 +- debian/patches/disable-sexplib-tests.patch | 102 - debian/patches/series | 1 - debian/rules | 27 ++-- 7 files changed, 27 insertions(+), 131 deletions(-) diff --git a/debian/changelog b/debian/changelog index e81fb98..191e857 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,18 @@ +otags (4.05.1-1) unstable; urgency=low + + * Team upload. + * New upstream version 4.05.1 + * delete disable-sexplib-tests patch + * compat level 10, standards version 4.1.0 + * drop camlp4 from build dependencies + * remove Mike Furr from uploaders (Closes: 873234) + * update copyright year + * disable creation of /usr/share/otags/hints - parsing hints are +currently not supported upstream + * delete camlp4-extra dependency and dh_ocaml override - no camlp4 anymore + + -- Hendrik Tews <hend...@askra.de> Fri, 22 Sep 2017 22:41:22 +0200 + otags (4.02.2-2) unstable; urgency=medium * drop libsexplib-camlp4-dev from build dependencies (Closes: 843319) diff --git a/debian/compat b/debian/compat index ec63514..f599e28 100644 --- a/debian/compat +++ b/debian/compat @@ -1 +1 @@ -9 +10 diff --git a/debian/control b/debian/control index 75a0653..bd9561f 100644 --- a/debian/control +++ b/debian/control @@ -3,16 +3,14 @@ Section: ocaml Priority: optional Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Uploaders: - Mike Furr <mf...@debian.org>, Mehdi Dogguy <me...@debian.org>, Hendrik Tews <hend...@askra.de> Build-Depends: ocaml-best-compilers, - debhelper (>= 9), - dh-ocaml (>= 0.9~), - camlp4 (>= 4.02), + debhelper (>= 10), + dh-ocaml (>= 0.9), cppo -Standards-Version: 3.9.8 +Standards-Version: 4.1.0 Homepage: http://askra.de/software/otags/ Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/otags.git Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/otags.git @@ -20,7 +18,6 @@ Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/otags Package: otags Architecture: any Depends: - camlp4-extra, ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends} diff --git a/debian/copyright b/debian/copyright index fd19107..284c3dc 100644 --- a/debian/copyright +++ b/debian/copyright @@ -4,7 +4,7 @@ Upstream-Contact: Hendrik Tews <prooft...@askra.de> Source: http://askra.de/software/otags Files: * -Copyright: 2010-2012 Hendrik Tews +Copyright: 2010-2017 Hendrik Tews License: GPL-3+ This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff --git a/debian/patches/disable-sexplib-tests.patch b/debian/patches/disable-sexplib-tests.patch deleted file mode 100644 index 874c144..000 --- a/debian/patches/disable-sexplib-tests.patch +++ /dev/null @@ -1,102 +0,0 @@ -Description: disable tests with libsexplib -Author: Hendrik Tews <hend...@askra.de> a/Makefile.in -+++ b/Makefile.in -@@ -227,9 +227,9 @@ - TESTSOURCES_MLI:= test/c.mli test/e.mli - TESTSOURCES_NORM:= $(TESTSOURCES_ML) $(TESTSOURCES_MLI) - TESTSOURCES_EXT:= test/cpp_i.generated.ml test/cppo_i.generated.ml --TESTSOURCES_SEXP_ML:= test/f.ml --TESTSOURCES_SEXP_MLI:= test/g.mli --TESTSOURCES_SEXP:= $(TESTSOURCES_SEXP_MLI) $(TESTSOURCES_SEXP_ML) -+#TESTSOURCES_SEXP_ML:= test/f.ml -+#TESTSOURCES_SEXP_MLI:= test/g.mli -+#TESTSOURCES_SEXP:= $(TESTSOURCES_SEXP_MLI) $(TESTSOURCES_SEXP_ML) - TESTSOURCES:= $(TESTSOURCES_NORM) $(TESTSOURCES_SEXP) $(TESTSOURCES_EXT) - COMPILEDTESTS:= $(TESTSOURCES_MLI:.mli=.cmi) \ - $(TESTSOURCES_ML:.ml=.cmo) \ -@@ -240,16 +240,14 @@ - - test/test.NEWTAGS: otags-binaries $(TESTSOURCES) - $(MAKE) OCAMLFLAGS="-w a" $(COMPILEDTESTS) -- ./otags -I $(TYPECONVDIR) -I $(SEXPLIBDIR) \ -- -pa pa_type_conv.cma -pa pa_sexp_conv.cma $(TESTSOURCES_SEXP) \ -+ ./otags \ - -pr $(TESTSOURCES_NORM) \ - -extern $(TESTSOURCES_EXT) \ - -o test/test.NEWTAGS - - test/test.newtags: otags-binaries $(TESTSOURCES) - $(MAKE) OCAMLFLAGS="-w a" $(COMPILEDTESTS) -- ./otags -vi -I $(TYPECONVDIR) -I $(SEXPLIBDIR) \ -- -pa pa_type_conv.cma -pa pa_sexp_conv.cma $(TESTSOURCES_SEXP) \ -+ ./otags -vi \ - -pr $(TESTSOURCES_NORM) \ - -extern $(T
[Pkg-ocaml-maint-commits] [otags] branch pristine-tar updated (9a8688f -> 03cc0f3)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository otags. from 9a8688f pristine-tar data for otags_4.02.2.orig.tar.gz new 03cc0f3 pristine-tar data for otags_4.05.1.orig.tar.gz The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: otags_4.05.1.orig.tar.gz.delta | Bin 0 -> 2083 bytes otags_4.05.1.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 otags_4.05.1.orig.tar.gz.delta create mode 100644 otags_4.05.1.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [ocaml-topkg] branch master updated (3248af5 -> b52ca52)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository ocaml-topkg. from 3248af5 New upstream version 0.9.0 new b52ca52 initial packaging The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: .gitignore | 1 + debian/changelog | 8 debian/compat| 1 + debian/control | 33 + debian/copyright | 23 +++ debian/gbp.conf | 2 ++ debian/libtopkg-ocaml-dev.docs | 1 + debian/libtopkg-ocaml-dev.install.in | 9 + debian/libtopkg-ocaml-dev.ocamldoc | 1 + debian/not-installed | 4 debian/rules | 20 debian/source/format | 1 + debian/watch | 2 ++ 13 files changed, 106 insertions(+) create mode 100644 .gitignore create mode 100644 debian/changelog create mode 100644 debian/compat create mode 100644 debian/control create mode 100644 debian/copyright create mode 100644 debian/gbp.conf create mode 100644 debian/libtopkg-ocaml-dev.docs create mode 100644 debian/libtopkg-ocaml-dev.install.in create mode 100644 debian/libtopkg-ocaml-dev.ocamldoc create mode 100644 debian/not-installed create mode 100755 debian/rules create mode 100644 debian/source/format create mode 100644 debian/watch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-topkg.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [ocaml-topkg] annotated tag debian/0.9.0-1 created (now eca2fc5)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/0.9.0-1 in repository ocaml-topkg. at eca2fc5 (tag) tagging b52ca529cdc823260287d00eac7c9b0ee466995e (commit) tagged by Hendrik Tews on Fri Sep 8 22:30:37 2017 +0200 - Log - ocaml-topkg Debian release 0.9.0-1 -BEGIN PGP SIGNATURE- iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAlmy/e0RHGhlbmRyaWtA YXNrcmEuZGUACgkQ7GhXfe3K7mgRjA//VgUI01AcifeLElPspqVyuzJKyvIiFQBo TEy4EHG3kbwq+as5XhnaViY8uZDWvBtSDLh0BQVv+qKnO7hMOSgScMnFC7cYah4o IK2LTFT/kQpXgNeDuHQXjqY4zg9CUNi0qpNwp0glbxMD8qPibwXuWhq4aEOXTuRX VxJ9NOMd9sBSJMFNBV+rIv38pfGisIjnW0456A02RdGyWQOPfliE8MkflnN+6ySo CgdThO+nYIko2fu/LsaX3WhGpjKMt6WyZ1AtokF0EIzfuAP7jG1S4DzxuMCW57x9 Fa+5DxMJbCdeVTS4Ry79W67vKwIsP+guTXuGhHLPBWbiM3Bg6SqIco+ltMnilV1D 3+WOYy+O0dhKY+e5excLdaGfq2VAKixiABxpHBXseMbwggRPxJH3Wg46C1HExJ8Z y/fKeOBoOdoR1tS9N7q28+VEXt6eg/Z9+R0hBZ4enrCOJ1RkWVFSXqrfxLtAdNWk GH5M77hKdeZRQsVcKQcl2PYgZOsGQPIh32dVqVWygNMyDOaHjD88mzVLPnZ4diA3 sOFvdXccr6L6UHPybkOsrgrF7w5tpw8M20qYJX14hS6ehx2vN7TLwzHtPp3ES0im KdqfeD/YD+AB5Pc8mdw8ZVR9IbYbN536PH90pQG92FcPPjnTCJl3DSPCLxX+qjT8 +tFgiSsCXx8= =D4OW -END PGP SIGNATURE- Hendrik Tews (2): New upstream version 0.9.0 initial packaging --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-topkg.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [ocaml-topkg] 01/01: initial packaging
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository ocaml-topkg. commit b52ca529cdc823260287d00eac7c9b0ee466995e Author: Hendrik Tews <hend...@askra.de> Date: Fri Sep 8 21:51:12 2017 +0200 initial packaging --- .gitignore | 1 + debian/changelog | 8 debian/compat| 1 + debian/control | 33 + debian/copyright | 23 +++ debian/gbp.conf | 2 ++ debian/libtopkg-ocaml-dev.docs | 1 + debian/libtopkg-ocaml-dev.install.in | 9 + debian/libtopkg-ocaml-dev.ocamldoc | 1 + debian/not-installed | 4 debian/rules | 20 debian/source/format | 1 + debian/watch | 2 ++ 13 files changed, 106 insertions(+) diff --git a/.gitignore b/.gitignore new file mode 100644 index 000..b25c15b --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*~ diff --git a/debian/changelog b/debian/changelog new file mode 100644 index 000..5c75563 --- /dev/null +++ b/debian/changelog @@ -0,0 +1,8 @@ +ocaml-topkg (0.9.0-1) unstable; urgency=low + + * Initial release (Closes: #869114) + * Only provide -dev because the typical use requires the .cmi file being +present + * build documentation with a simple dh_ocamldoc recipy + + -- Hendrik Tews <hend...@askra.de> Fri, 08 Sep 2017 21:09:11 +0200 diff --git a/debian/compat b/debian/compat new file mode 100644 index 000..f599e28 --- /dev/null +++ b/debian/compat @@ -0,0 +1 @@ +10 diff --git a/debian/control b/debian/control new file mode 100644 index 000..f20dd58 --- /dev/null +++ b/debian/control @@ -0,0 +1,33 @@ +Source: ocaml-topkg +Section: ocaml +Priority: optional +Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> +Uploaders: + Hendrik Tews <hend...@askra.de> +Build-Depends: + debhelper (>= 10.3), + dh-ocaml (>= 0.9), + ocaml-nox (>= 4.01), + ocamlbuild, + libfindlib-ocaml-dev (>= 1.6.1), + libresult-ocaml-dev, + opam +Standards-Version: 4.0.0 +Homepage: http://erratique.ch/software/topkg +Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/ocaml-topkg.git +Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocaml-topkg.git + +Package: libtopkg-ocaml-dev +Architecture: any +Depends: + libfindlib-ocaml-dev, + ${ocaml:Depends}, + ${shlibs:Depends}, + ${misc:Depends} +Recommends: + ocaml-findlib +Description: packager for OCaml software + Topkg provides an API to describe the files a package installs in a + given build configuration and to specify information about the + package's distribution creation and publication procedures. Many + OCaml packages depend on topkg for building and packaging. diff --git a/debian/copyright b/debian/copyright new file mode 100644 index 000..80f42ab --- /dev/null +++ b/debian/copyright @@ -0,0 +1,23 @@ +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Source: http://erratique.ch/software/topkg + +Files: * +Copyright: (c) 2016 Daniel C. Bünzli +License: ISC + +Files: debian/* +Copyright: (c) 2017 Hendrik Tews <hend...@askra.de> +License: ISC + +License: ISC + Permission to use, copy, modify, and/or distribute this software for any + purpose with or without fee is hereby granted, provided that the above + copyright notice and this permission notice appear in all copies. + . + THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES + WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF + MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR + ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES + WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN + ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF + OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. diff --git a/debian/gbp.conf b/debian/gbp.conf new file mode 100644 index 000..cec628c --- /dev/null +++ b/debian/gbp.conf @@ -0,0 +1,2 @@ +[DEFAULT] +pristine-tar = True diff --git a/debian/libtopkg-ocaml-dev.docs b/debian/libtopkg-ocaml-dev.docs new file mode 100644 index 000..b43bf86 --- /dev/null +++ b/debian/libtopkg-ocaml-dev.docs @@ -0,0 +1 @@ +README.md diff --git a/debian/libtopkg-ocaml-dev.install.in b/debian/libtopkg-ocaml-dev.install.in new file mode 100644 index 000..bddc361 --- /dev/null +++ b/debian/libtopkg-ocaml-dev.install.in @@ -0,0 +1,9 @@ +@OCamlStdlibDir@/topkg/META +@OCamlStdlibDir@/topkg/*.mli +@OCamlStdlibDir@/topkg/*.cmi +@OCamlStdlibDir@/topkg/*.cma +DYN: @OCamlStdlibDir@/topkg/*.cmxs +@OCamlStdlibDir@/topkg/*.cmti +OPT: @OCamlStdlibDir@/topkg/*.a +OPT: @OCamlStdlibDir@/topkg/*.cmx +OPT: @OCamlStdlib
[Pkg-ocaml-maint-commits] [ocaml-topkg] branch master created (now 3248af5)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository ocaml-topkg. at 3248af5 New upstream version 0.9.0 This branch includes the following new commits: new 3248af5 New upstream version 0.9.0 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-topkg.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [ocaml-topkg] 01/01: pristine-tar data for ocaml-topkg_0.9.0.orig.tar.bz2
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository ocaml-topkg. commit 7be060f52b2e154a37fab284bfe449b2c7b89a40 Author: Hendrik Tews <hend...@askra.de> Date: Sat Sep 2 21:27:48 2017 +0200 pristine-tar data for ocaml-topkg_0.9.0.orig.tar.bz2 --- ocaml-topkg_0.9.0.orig.tar.bz2.delta | Bin 0 -> 3925 bytes ocaml-topkg_0.9.0.orig.tar.bz2.id| 1 + 2 files changed, 1 insertion(+) diff --git a/ocaml-topkg_0.9.0.orig.tar.bz2.delta b/ocaml-topkg_0.9.0.orig.tar.bz2.delta new file mode 100644 index 000..914a3f3 Binary files /dev/null and b/ocaml-topkg_0.9.0.orig.tar.bz2.delta differ diff --git a/ocaml-topkg_0.9.0.orig.tar.bz2.id b/ocaml-topkg_0.9.0.orig.tar.bz2.id new file mode 100644 index 000..f3516a0 --- /dev/null +++ b/ocaml-topkg_0.9.0.orig.tar.bz2.id @@ -0,0 +1 @@ +fe5cafc9eb5d9c2154910c5ff372e6eabc39abb6 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-topkg.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [ocaml-topkg] branch upstream created (now 3248af5)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository ocaml-topkg. at 3248af5 New upstream version 0.9.0 This branch includes the following new commits: new 3248af5 New upstream version 0.9.0 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-topkg.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [ocaml-topkg] branch pristine-tar created (now 7be060f)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository ocaml-topkg. at 7be060f pristine-tar data for ocaml-topkg_0.9.0.orig.tar.bz2 This branch includes the following new commits: new 7be060f pristine-tar data for ocaml-topkg_0.9.0.orig.tar.bz2 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-topkg.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cmdliner] annotated tag debian/1.0.2-2 created (now c903278)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/1.0.2-2 in repository cmdliner. at c903278 (tag) tagging 30051d3394cc2be4accba97bab0f9bebcecfa483 (commit) replaces debian/1.0.2-1 tagged by Hendrik Tews on Fri Aug 18 23:22:09 2017 +0200 - Log - cmdliner Debian release 1.0.2-2 -BEGIN PGP SIGNATURE- iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAlmXWoERHGhlbmRyaWtA YXNrcmEuZGUACgkQ7GhXfe3K7miEog//eKKP2oUW0UmPV4x0tCEZT8B8sypzyIj/ hhuuaX8TFegm6EYaPcODCem2zZDW3Xy63MVNc7gruCQHN1dr4X1sfGUrnVWnNtsH ic0jTt7foxCAN33KAncTT9y9NKq8sFwkhAejns3NPKDWcGzuYqd4sOTsa7J6NI+B Kj4Map+CjnrAu8ELJGtx+VWRpLKjqhzY2qP4RTmlT8lzppexP76VXv9IQJUKu/EE Lg6y8EQK/jbcMwmyUMWOnCqH9ZS0YV9XLh9RFAT9umZSgP/7cHF3RxEE23c/ChiJ quWesyJEdnKNJe/WpZCR25QJJNs8bi53x9BSdDAN36fBsbk3wJ/j8nciv0kgrkZa RPQZgFMflmd9gv4xjUBG1g01dLTD/THXZ4lSGEfGLwqLeJYB7TeZiub3tdF/wxl4 acRcLYSYfP216KemsW8/ymmFYFwDuTwIDuM8nPLbuheWLJUSFfjcEm9ctUy9eP9H Cmpx+DpyZxHUiukCfXtN/zhH230q9dL1pSx4RUgK17YG8pybXtevSmuTdi0B6Zj3 rc90IGXCATEQlUNiJJllYQoYy0vxYsDrnRWm0bCQK+XorhBY4E0HkT6o6GHatrIf peB25Bn+kSnC2VrO/1ih9U34LynpVMhnf5OjxAalndhqs1RgFK7mAmDnj5sJnASz Xbt7Az1zb5s= =op4i -END PGP SIGNATURE- Hendrik Tews (1): add documentation, fix dh_missing dependency and invocation --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cmdliner] branch master updated (5edcd7d -> 30051d3)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository cmdliner. from 5edcd7d update packaging using the upstream Makefile new 30051d3 add documentation, fix dh_missing dependency and invocation The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: debian/README.Debian | 10 -- debian/changelog | 9 + debian/control| 2 +- debian/libcmdliner-ocaml-dev.ocamldoc | 1 + debian/rules | 3 +++ 5 files changed, 14 insertions(+), 11 deletions(-) delete mode 100644 debian/README.Debian create mode 100644 debian/libcmdliner-ocaml-dev.ocamldoc -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cmdliner] 01/01: add documentation, fix dh_missing dependency and invocation
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cmdliner. commit 30051d3394cc2be4accba97bab0f9bebcecfa483 Author: Hendrik Tews <hend...@askra.de> Date: Mon Aug 14 22:04:17 2017 +0200 add documentation, fix dh_missing dependency and invocation --- debian/README.Debian | 10 -- debian/changelog | 9 + debian/control| 2 +- debian/libcmdliner-ocaml-dev.ocamldoc | 1 + debian/rules | 3 +++ 5 files changed, 14 insertions(+), 11 deletions(-) diff --git a/debian/README.Debian b/debian/README.Debian deleted file mode 100644 index c8ea067..000 --- a/debian/README.Debian +++ /dev/null @@ -1,10 +0,0 @@ -For documentation, please visit -http://erratique.ch/software/cmdliner/doc/Cmdliner - -Upstream does not distribute the documentation in html format any -more. The documentation could be build with topkg-care, but this is -not yet packaged for Debian but even it were, it would introduce a -circular build dependency. Maybe we have a separate documentation -package for cmdliner at some day... - - -- Hendrik Tews <hend...@askra.de>, Fri, 11 Aug 2017 22:54:05 +0200 diff --git a/debian/changelog b/debian/changelog index cd64079..6b371dc 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,12 @@ +cmdliner (1.0.2-2) unstable; urgency=medium + + * fix dh_missing dependency and invocation + * generate documentation with dh_ocamldoc, the command line switches in +libcmdliner-ocaml-dev.ocamldoc have been copied from a run of ``topkg doc'' + * remove README.Debian again + + -- Hendrik Tews <hend...@askra.de> Fri, 18 Aug 2017 23:17:08 +0200 + cmdliner (1.0.2-1) unstable; urgency=medium * Team upload. diff --git a/debian/control b/debian/control index 33c316d..3dfe16f 100644 --- a/debian/control +++ b/debian/control @@ -6,7 +6,7 @@ Uploaders: Mehdi Dogguy <me...@debian.org>, Hendrik Tews <hend...@askra.de> Build-Depends: - debhelper (>= 10), + debhelper (>= 10.3), ocaml-nox, ocaml-findlib (>= 1.2.4), ocamlbuild, diff --git a/debian/libcmdliner-ocaml-dev.ocamldoc b/debian/libcmdliner-ocaml-dev.ocamldoc new file mode 100644 index 000..cdd34fb --- /dev/null +++ b/debian/libcmdliner-ocaml-dev.ocamldoc @@ -0,0 +1 @@ +-colorize-code -charset utf-8 -package bytes -package result diff --git a/debian/rules b/debian/rules index e569cfb..0bb5dd6 100755 --- a/debian/rules +++ b/debian/rules @@ -13,4 +13,7 @@ override_dh_auto_install: .PHONY: override_dh_install override_dh_install: dh_install --exclude=opam + +.PHONY: override_dh_missing +override_dh_missing: dh_missing --fail-missing -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cmdliner] annotated tag debian/1.0.2-1 created (now e787b8d)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/1.0.2-1 in repository cmdliner. at e787b8d (tag) tagging 5edcd7db01614e511b6182745a4b60ab3f1a1948 (commit) replaces debian/0.9.8-2 tagged by Hendrik Tews on Fri Aug 11 23:20:35 2017 +0200 - Log - cmdliner Debian release 1.0.2-1 -BEGIN PGP SIGNATURE- iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAlmOH6MRHGhlbmRyaWtA YXNrcmEuZGUACgkQ7GhXfe3K7mh6RA/+NZUuArOGDCADQICg6K3IC0ODdKaH9zyM tY97SrpUul/1gJiSRAgGYuCtiUdzAjGozF8tBYVtu52Z7cvb+rJfl6nKNk5VwtyC C02sFQZUejtoXouJ8+bx/A2xv20psZpaHHSTRed5k3p4C6grb/G0yxR4+4lJOnNT woAdeMHTb0B1x6NZ0DfQ0HASXX/4hId7OcfrQDZegz2j9wgK3ynCsDBB1+0C2VUf FZNbfh+d9BnkwHzkxmmDmMNsw5LQNh9zgOuHp1AsrI7RKe0APTLtIA3FQVxcGqJW gy9ca46OOv8+eDOVwhBmHVOcinYqkRBuWhgoyDuX9UtlUpex6zmYKU1YCooVIPYG OqMKFdFtiKHqaMRh2TdX1S+pd/7/hlkn1iL3BCTb2k2eLJoHSujbIWWXlORl0I54 TdBs4gbLIiMOO9wGyIflHhTBXQpnpWgRNVfEmpHzjgH6wFmtQMZHu347Fj6KBJXn Iy/QS3g13uR8ox1Rf4R8Wx76S+qJh5+XdX/EMe2OOsUIgPHS6O6LPQ+/x3IA9Xbp zSdmL8MXiHzaZHPLJ6wIP+zhiGPGVNW9lZgfEsYj/eB9XqpoXhER8RrIF5qbMT/E yVeACoMmO+7hZ1LtVM5WZc1Lv/FOZOMBWN4ERYUykaeHTcU7tqt1+Gl3XuoH+hOv /do17N7GJOg= =NwmZ -END PGP SIGNATURE- Hendrik Tews (3): New upstream version 1.0.2 Merge tag 'upstream/1.0.2' update packaging using the upstream Makefile --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cmdliner] branch master updated (17387d3 -> 5edcd7d)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository cmdliner. from 17387d3 Update changelog and prepare upload to unstable new 0f93bb0 New upstream version 1.0.2 new 12141d6 Merge tag 'upstream/1.0.2' new 5edcd7d update packaging using the upstream Makefile The 3 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: .merlin |3 - .ocp-indent |1 - CHANGES.md| 135 ++- LICENSE.md| 13 + Makefile | 69 ++ README.md | 24 +- TODO.md |1 - _tags |7 +- debian/README.Debian | 10 + debian/changelog | 18 + debian/compat |2 +- debian/control| 14 +- debian/copyright | 42 +- debian/libcmdliner-ocaml-dev.doc-base |9 - debian/libcmdliner-ocaml-dev.docs |2 - debian/patches/install-x.patch| 34 + debian/patches/series |1 + debian/rules | 32 +- doc/Cmdliner.Arg.html | 390 doc/Cmdliner.Manpage.html | 80 -- doc/Cmdliner.Term.html| 216 - doc/Cmdliner.html | 797 doc/index.html| 27 - doc/index_attributes.html | 18 - doc/index_class_types.html| 18 - doc/index_classes.html| 18 - doc/index_exceptions.html | 18 - doc/index_extensions.html | 18 - doc/index_methods.html| 18 - doc/index_module_types.html | 18 - doc/index_modules.html| 42 - doc/index_types.html | 90 -- doc/index_values.html | 353 --- doc/style.css | 109 --- doc/type_Cmdliner.Arg.html| 98 -- doc/type_Cmdliner.Manpage.html| 24 - doc/type_Cmdliner.Term.html | 56 -- doc/type_Cmdliner.html| 175 opam | 21 +- pkg/META |8 +- pkg/build.ml | 17 - pkg/config.ml | 11 - pkg/git.ml| 14 - pkg/pkg.ml| 29 + pkg/topkg-ext.ml | 272 -- pkg/topkg.ml | 303 -- src/cmdliner.ml | 1653 + src/cmdliner.mli | 1314 -- src/cmdliner.mllib| 11 + src/cmdliner_arg.ml | 358 +++ src/cmdliner_arg.mli | 113 +++ src/cmdliner_base.ml | 302 ++ src/cmdliner_base.mli | 74 ++ src/cmdliner_cline.ml | 194 src/cmdliner_cline.mli| 34 + src/cmdliner_docgen.ml| 352 +++ src/cmdliner_docgen.mli | 30 + src/cmdliner_info.ml | 233 + src/cmdliner_info.mli | 140 +++ src/cmdliner_manpage.ml | 504 ++ src/cmdliner_manpage.mli | 100 ++ src/cmdliner_msg.ml | 115 +++ src/cmdliner_msg.mli | 54 ++ src/cmdliner_suggest.ml | 54 ++ src/cmdliner_suggest.mli | 25 + src/cmdliner_term.ml | 43 + src/cmdliner_term.mli | 42 + src/cmdliner_trie.ml | 97 ++ src/cmdliner_trie.mli | 35 + test/chorus.ml| 11 +- test/cp_ex.ml | 22 +- test/darcs_ex.ml | 43 +- test/man_test.ml | 73 -- test/revolt.ml|5 +- test/rm_ex.ml | 12 +- test/tail_ex.ml | 25 +- test/test_man.ml | 100 ++ test/test_man_utf8.ml | 11 + test/test_opt_req.ml | 13 + test/test_pos.ml | 13 + test/test_pos_all.ml | 11 + test/test_pos_left.ml | 11 + test/test_pos_req.ml | 15 + test/test_pos_rev.ml | 14 + test/test_term_dups.ml| 19 + test/tests.itarget|7 - 86 files changed, 4636 insertions(+), 5321 deletions(-) delete mode
[Pkg-ocaml-maint-commits] [cmdliner] branch upstream updated (13ba3a3 -> 0f93bb0)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository cmdliner. from 13ba3a3 Imported Upstream version 0.9.8 new 0f93bb0 New upstream version 1.0.2 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: .merlin|3 - .ocp-indent|1 - CHANGES.md | 135 +++- LICENSE.md | 13 + Makefile | 69 ++ README.md | 24 +- TODO.md|1 - _tags |7 +- doc/Cmdliner.Arg.html | 390 -- doc/Cmdliner.Manpage.html | 80 -- doc/Cmdliner.Term.html | 216 -- doc/Cmdliner.html | 797 --- doc/index.html | 27 - doc/index_attributes.html | 18 - doc/index_class_types.html | 18 - doc/index_classes.html | 18 - doc/index_exceptions.html | 18 - doc/index_extensions.html | 18 - doc/index_methods.html | 18 - doc/index_module_types.html| 18 - doc/index_modules.html | 42 - doc/index_types.html | 90 --- doc/index_values.html | 353 - doc/style.css | 109 --- doc/type_Cmdliner.Arg.html | 98 --- doc/type_Cmdliner.Manpage.html | 24 - doc/type_Cmdliner.Term.html| 56 -- doc/type_Cmdliner.html | 175 - opam | 21 +- pkg/META |8 +- pkg/build.ml | 17 - pkg/config.ml | 11 - pkg/git.ml | 14 - pkg/pkg.ml | 29 + pkg/topkg-ext.ml | 272 --- pkg/topkg.ml | 303 src/cmdliner.ml| 1653 ++-- src/cmdliner.mli | 1314 src/cmdliner.mllib | 11 + src/cmdliner_arg.ml| 358 + src/cmdliner_arg.mli | 113 +++ src/cmdliner_base.ml | 302 src/cmdliner_base.mli | 74 ++ src/cmdliner_cline.ml | 194 + src/cmdliner_cline.mli | 34 + src/cmdliner_docgen.ml | 352 + src/cmdliner_docgen.mli| 30 + src/cmdliner_info.ml | 233 ++ src/cmdliner_info.mli | 140 src/cmdliner_manpage.ml| 504 src/cmdliner_manpage.mli | 100 +++ src/cmdliner_msg.ml| 115 +++ src/cmdliner_msg.mli | 54 ++ src/cmdliner_suggest.ml| 54 ++ src/cmdliner_suggest.mli | 25 + src/cmdliner_term.ml | 43 ++ src/cmdliner_term.mli | 42 + src/cmdliner_trie.ml | 97 +++ src/cmdliner_trie.mli | 35 + test/chorus.ml | 11 +- test/cp_ex.ml | 22 +- test/darcs_ex.ml | 43 +- test/man_test.ml | 73 -- test/revolt.ml |5 +- test/rm_ex.ml | 12 +- test/tail_ex.ml| 25 +- test/test_man.ml | 100 +++ test/test_man_utf8.ml | 11 + test/test_opt_req.ml | 13 + test/test_pos.ml | 13 + test/test_pos_all.ml | 11 + test/test_pos_left.ml | 11 + test/test_pos_req.ml | 15 + test/test_pos_rev.ml | 14 + test/test_term_dups.ml | 19 + test/tests.itarget |7 - 76 files changed, 4547 insertions(+), 5246 deletions(-) delete mode 100644 .merlin delete mode 100644 .ocp-indent create mode 100644 LICENSE.md create mode 100644 Makefile delete mode 100644 TODO.md delete mode 100644 doc/Cmdliner.Arg.html delete mode 100644 doc/Cmdliner.Manpage.html delete mode 100644 doc/Cmdliner.Term.html delete mode 100644 doc/Cmdliner.html delete mode 100644 doc/index.html delete mode 100644 doc/index_attributes.html delete mode 100644 doc/index_class_types.html delete mode 100644 doc/index_classes.html delete mode 100644 doc/index_exceptions.html delete mode 100644 doc/index_extensions.html delete mode 100644 doc/index_methods.html delete mode 100644 doc/index_module_types.html delete mode 100644 doc/index_modules.html delete mode 100644 doc/index_types.html delete mode 100644 doc/index_values.html delete mode 100644 doc/style.css delete mode 100644 doc/type_Cmdliner.Arg.html delete mode 100644 doc/type_Cmdliner.Manpage.html delete mode 100644 doc/type_Cmdliner.Term.html delete mode 100644 doc/type_Cmdliner.html delete mode 100755 pkg/build.ml delete mode 100644 pkg/config.ml delete mode 100755
[Pkg-ocaml-maint-commits] [cmdliner] annotated tag upstream/1.0.2 created (now 58d4b5d)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/1.0.2 in repository cmdliner. at 58d4b5d (tag) tagging 0f93bb0c2a60b8b0ace453a9f717f3654cdb133f (commit) replaces upstream/0.9.8 tagged by Hendrik Tews on Mon Aug 7 20:54:45 2017 +0200 - Log - Upstream version 1.0.2 Hendrik Tews (1): New upstream version 1.0.2 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cmdliner] 02/03: Merge tag 'upstream/1.0.2'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cmdliner. commit 12141d64229fb7967a352e358c0698bd7a44e067 Merge: 17387d3 0f93bb0 Author: Hendrik Tews <hend...@askra.de> Date: Mon Aug 7 20:54:46 2017 +0200 Merge tag 'upstream/1.0.2' Upstream version 1.0.2 .merlin|3 - .ocp-indent|1 - CHANGES.md | 135 +++- LICENSE.md | 13 + Makefile | 69 ++ README.md | 24 +- TODO.md|1 - _tags |7 +- doc/Cmdliner.Arg.html | 390 -- doc/Cmdliner.Manpage.html | 80 -- doc/Cmdliner.Term.html | 216 -- doc/Cmdliner.html | 797 --- doc/index.html | 27 - doc/index_attributes.html | 18 - doc/index_class_types.html | 18 - doc/index_classes.html | 18 - doc/index_exceptions.html | 18 - doc/index_extensions.html | 18 - doc/index_methods.html | 18 - doc/index_module_types.html| 18 - doc/index_modules.html | 42 - doc/index_types.html | 90 --- doc/index_values.html | 353 - doc/style.css | 109 --- doc/type_Cmdliner.Arg.html | 98 --- doc/type_Cmdliner.Manpage.html | 24 - doc/type_Cmdliner.Term.html| 56 -- doc/type_Cmdliner.html | 175 - opam | 21 +- pkg/META |8 +- pkg/build.ml | 17 - pkg/config.ml | 11 - pkg/git.ml | 14 - pkg/pkg.ml | 29 + pkg/topkg-ext.ml | 272 --- pkg/topkg.ml | 303 src/cmdliner.ml| 1653 ++-- src/cmdliner.mli | 1314 src/cmdliner.mllib | 11 + src/cmdliner_arg.ml| 358 + src/cmdliner_arg.mli | 113 +++ src/cmdliner_base.ml | 302 src/cmdliner_base.mli | 74 ++ src/cmdliner_cline.ml | 194 + src/cmdliner_cline.mli | 34 + src/cmdliner_docgen.ml | 352 + src/cmdliner_docgen.mli| 30 + src/cmdliner_info.ml | 233 ++ src/cmdliner_info.mli | 140 src/cmdliner_manpage.ml| 504 src/cmdliner_manpage.mli | 100 +++ src/cmdliner_msg.ml| 115 +++ src/cmdliner_msg.mli | 54 ++ src/cmdliner_suggest.ml| 54 ++ src/cmdliner_suggest.mli | 25 + src/cmdliner_term.ml | 43 ++ src/cmdliner_term.mli | 42 + src/cmdliner_trie.ml | 97 +++ src/cmdliner_trie.mli | 35 + test/chorus.ml | 11 +- test/cp_ex.ml | 22 +- test/darcs_ex.ml | 43 +- test/man_test.ml | 73 -- test/revolt.ml |5 +- test/rm_ex.ml | 12 +- test/tail_ex.ml| 25 +- test/test_man.ml | 100 +++ test/test_man_utf8.ml | 11 + test/test_opt_req.ml | 13 + test/test_pos.ml | 13 + test/test_pos_all.ml | 11 + test/test_pos_left.ml | 11 + test/test_pos_req.ml | 15 + test/test_pos_rev.ml | 14 + test/test_term_dups.ml | 19 + test/tests.itarget |7 - 76 files changed, 4547 insertions(+), 5246 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cmdliner. commit 5edcd7db01614e511b6182745a4b60ab3f1a1948 Author: Hendrik Tews <hend...@askra.de> Date: Fri Aug 11 23:07:55 2017 +0200 update packaging using the upstream Makefile * New upstream version 1.0.2 * compat level 10, standards version 4.0.0 * add build dependency libresult-ocaml-dev * update VCS fields * add myself to uploaders * updated copyright * update rules: remove most of the overrides, build sequential because ocamlbuild would otherwise fail * remove .doc-base file: there is no documentation any more * fix .docs file * add patch install-x for removing x-permission in make install * add README.Debian to point to the online documentation --- debian/README.Debian | 10 + debian/changelog | 18 +++ debian/compat | 2 +- debian/control| 14 +++- debian/copyright | 42 +++ debian/libcmdliner-ocaml-dev.doc-base | 9 debian/libcmdliner-ocaml-dev.docs | 2 -- debian/patches/install-x.patch| 34 debian/patches/series | 1 + debian/rules | 32 -- 10 files changed, 89 insertions(+), 75 deletions(-) diff --git a/debian/README.Debian b/debian/README.Debian new file mode 100644 index 000..c8ea067 --- /dev/null +++ b/debian/README.Debian @@ -0,0 +1,10 @@ +For documentation, please visit +http://erratique.ch/software/cmdliner/doc/Cmdliner + +Upstream does not distribute the documentation in html format any +more. The documentation could be build with topkg-care, but this is +not yet packaged for Debian but even it were, it would introduce a +circular build dependency. Maybe we have a separate documentation +package for cmdliner at some day... + + -- Hendrik Tews <hend...@askra.de>, Fri, 11 Aug 2017 22:54:05 +0200 diff --git a/debian/changelog b/debian/changelog index f38d01b..cd64079 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,21 @@ +cmdliner (1.0.2-1) unstable; urgency=medium + + * Team upload. + * New upstream version 1.0.2 + * compat level 10, standards version 4.0.0 + * add build dependency libresult-ocaml-dev + * update VCS fields + * add myself to uploaders + * updated copyright + * update rules: remove most of the overrides, build sequential because +ocamlbuild would otherwise fail + * remove .doc-base file: there is no documentation any more + * fix .docs file + * add patch install-x for removing x-permission in make install + * add README.Debian to point to the online documentation + + -- Hendrik Tews <hend...@askra.de> Fri, 11 Aug 2017 23:07:14 +0200 + cmdliner (0.9.8-2) unstable; urgency=medium * Team upload diff --git a/debian/compat b/debian/compat index 45a4fb7..f599e28 100644 --- a/debian/compat +++ b/debian/compat @@ -1 +1 @@ -8 +10 diff --git a/debian/control b/debian/control index 4170b0b..33c316d 100644 --- a/debian/control +++ b/debian/control @@ -3,17 +3,19 @@ Section: ocaml Priority: optional Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Uploaders: - Mehdi Dogguy <me...@debian.org> + Mehdi Dogguy <me...@debian.org>, + Hendrik Tews <hend...@askra.de> Build-Depends: - debhelper (>= 8), + debhelper (>= 10), ocaml-nox, ocaml-findlib (>= 1.2.4), ocamlbuild, - dh-ocaml (>= 0.9) -Standards-Version: 3.9.6 + dh-ocaml (>= 0.9), + libresult-ocaml-dev +Standards-Version: 4.0.0 Homepage: http://erratique.ch/software/cmdliner -Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/cmdliner.git -Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/cmdliner.git +Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/cmdliner.git +Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/cmdliner.git Package: libcmdliner-ocaml-dev Architecture: any diff --git a/debian/copyright b/debian/copyright index feca512..11d1db1 100644 --- a/debian/copyright +++ b/debian/copyright @@ -1,36 +1,20 @@ -Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Source: http://erratique.ch/logiciel/cmdliner Files: * -Copyright: © 2011-2012 Daniel C. Bünzli -License: BSD-3-clause - Redistribution and use in source and binary forms, with or without - modification, are permitted provided that the following conditions are - met: +Copyright: (c) 2011 Daniel C. Bünzli +License: ISC + Permission to use, copy, modify, and/or distribute this software for any + purpose with or without fee is hereby granted, provided that the above + copyright notice
[Pkg-ocaml-maint-commits] [cmdliner] branch pristine-tar updated (a5c2bf2 -> c8371d2)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository cmdliner. from a5c2bf2 pristine-tar data for cmdliner_0.9.8.orig.tar.bz2 new c8371d2 pristine-tar data for cmdliner_1.0.2.orig.tar.bz2 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: cmdliner_1.0.2.orig.tar.bz2.delta | Bin 0 -> 2215 bytes cmdliner_1.0.2.orig.tar.bz2.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 cmdliner_1.0.2.orig.tar.bz2.delta create mode 100644 cmdliner_1.0.2.orig.tar.bz2.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cmdliner] 01/01: pristine-tar data for cmdliner_1.0.2.orig.tar.bz2
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository cmdliner. commit c8371d2cf47f796db075eaf4f6fa1ade0f281606 Author: Hendrik Tews <hend...@askra.de> Date: Mon Aug 7 20:54:45 2017 +0200 pristine-tar data for cmdliner_1.0.2.orig.tar.bz2 --- cmdliner_1.0.2.orig.tar.bz2.delta | Bin 0 -> 2215 bytes cmdliner_1.0.2.orig.tar.bz2.id| 1 + 2 files changed, 1 insertion(+) diff --git a/cmdliner_1.0.2.orig.tar.bz2.delta b/cmdliner_1.0.2.orig.tar.bz2.delta new file mode 100644 index 000..1105687 Binary files /dev/null and b/cmdliner_1.0.2.orig.tar.bz2.delta differ diff --git a/cmdliner_1.0.2.orig.tar.bz2.id b/cmdliner_1.0.2.orig.tar.bz2.id new file mode 100644 index 000..eb0a866 --- /dev/null +++ b/cmdliner_1.0.2.orig.tar.bz2.id @@ -0,0 +1 @@ +c2a4687c8c1cf4e5db1492afee899e15c02c3029 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20170109-2 created (now 808638d)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/20170109-2 in repository hol-light. at 808638d (tag) tagging e4242ac0a2f43c825cf9e3128de9faffd3051726 (commit) replaces debian/20170109-1 tagged by Hendrik Tews on Wed Aug 2 23:14:09 2017 +0200 - Log - hol-light Debian release 20170109-2 -BEGIN PGP SIGNATURE- iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAlmCQKERHGhlbmRyaWtA YXNrcmEuZGUACgkQ7GhXfe3K7miv2w/+NQ9kdpoSpgVBYIeLmiZli5aPx3KHWfSD 9OZo0Z3n2wmF679KQu6PmlBd9I3MyBYesKEaSHUySrpub6US4Bogl4hkF0QAfi3O ry7rv5BDzc5vdbuPH8taDrAHD3WIVoRuW6rMOpcU/vlP6RbUgfNxNpb9nG6Kcwy5 W6egse+TTeuIYhQr0NDJyHzWLBRa6FAckpJVaQmM/+pf+QbjSelBn2BHumZq04re s8kkNa6YiVnYYg0NwdwGJ7gsQgIbti6dgkv3ECYTyAFI2ECmScOOcy7Sdm/Q2DoT faSEVj+ElPeMyeCVcqpF7S/GmJQACWGm6dJJv4chiwe3xuQpwOOJ8+L5JPTqWHiw esq+8TWeX2+eIKUrU4L54fawsqkZGq5oMIzmKSigb4gZmvHN2QtiQ35t33YpjsZt RzxbO0LDoOKZEnuf5PPVZcBUXXbr0F210ybiaC3ygvZ++5LSaEbwx8ApG411W0/c HpG+ygNPhy4e68bxfb3tsl/7NiD2EdvJgrZkCBxIbAMqSSMVzVuE7Qlel2pgtiIv OydQoO0nuJVBhXZStsTHozkTk/Sfc7LbB1KLXhu2pxOjtG2tCiXjRSqkdszDvDZg 83iLSPvPJrqJLBT8LGEvptCbgCaC6CZgwqHY+4jucjFrtmr6/zc4FzvW+ocV+xeG qAlmP/9Jx6g= =fZKi -END PGP SIGNATURE- Hendrik Tews (1): quick fix for building with camlp5 7.01 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] branch master updated (db54cd8 -> e4242ac)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository hol-light. from db54cd8 update packaging for new upstream version new e4242ac quick fix for building with camlp5 7.01 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: debian/changelog | 8 debian/control| 2 +- debian/patches/camlp5-7.patch | 23 +++ debian/patches/series | 1 + 4 files changed, 33 insertions(+), 1 deletion(-) create mode 100644 debian/patches/camlp5-7.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] 01/01: quick fix for building with camlp5 7.01
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit e4242ac0a2f43c825cf9e3128de9faffd3051726 Author: Hendrik Tews <hend...@askra.de> Date: Wed Aug 2 23:05:50 2017 +0200 quick fix for building with camlp5 7.01 --- debian/changelog | 8 debian/control| 2 +- debian/patches/camlp5-7.patch | 23 +++ debian/patches/series | 1 + 4 files changed, 33 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 1d6b415..f6978d5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +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 <hend...@askra.de> Wed, 02 Aug 2017 23:05:25 +0200 + hol-light (20170109-1) unstable; urgency=low [ Mehdi Dogguy ] diff --git a/debian/control b/debian/control index a917863..ee0d6bb 100644 --- a/debian/control +++ b/debian/control @@ -5,7 +5,7 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Uploaders: Hendrik Tews <hend...@askra.de> Build-Depends: - camlp5 (>= 6.0.7), + camlp5 (>= 7.01), ocaml-base-nox, dh-ocaml (>= 0.9~), debhelper (>= 9.0.0) diff --git a/debian/patches/camlp5-7.patch b/debian/patches/camlp5-7.patch new file mode 100644 index 000..03bfe11 --- /dev/null +++ b/debian/patches/camlp5-7.patch @@ -0,0 +1,23 @@ +Description: quick fix for camlp5-7.01 +Author: Hendrik Tews <hend...@askra.de> +--- a/pa_j_3.1x_6.11.ml b/pa_j_3.1x_6.11.ml +@@ -320,6 +320,9 @@ + | ExLmd loc x1 x2 x3 → + let loc = floc loc in + ExLmd loc x1 (reloc_module_expr floc sh x2) (self x3) ++| ExLop loc x1 x2 → ++let loc = floc loc in ++ExLop loc (reloc_module_expr floc sh x1) (self x2) + | ExMat loc x1 x2 → + let loc = floc loc in + ExMat loc (self x1) +@@ -356,7 +359,7 @@ + | ExRpl loc x1 x2 → + let loc = floc loc in + ExRpl loc (vala_map (option_map self) x1) +- ((fun (loc, x1) → (floc loc, x1)) x2) ++ ((vala_map (fun (loc, x1) → (floc loc, x1))) x2) + | ExSeq loc x1 → + let loc = floc loc in + ExSeq loc (vala_map (List.map self) x1) diff --git a/debian/patches/series b/debian/patches/series index 023f6f5..7c5871b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,4 @@ default-hollight-dir holtest-no-proof-recording.patch cd-holtest-parallel.patch +camlp5-7.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq-doc] annotated tag debian/8.6-1 created (now 910c326)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/8.6-1 in repository coq-doc. at 910c326 (tag) tagging 2dc0095a6bc2cd2b4c4916b19bbe1c55d7a87880 (commit) replaces debian/8.4pl4-2 tagged by Hendrik Tews on Wed Jul 5 22:56:40 2017 +0200 - Log - coq-doc Debian release 8.6-1 -BEGIN PGP SIGNATURE- iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAlldUogRHGhlbmRyaWtA YXNrcmEuZGUACgkQ7GhXfe3K7mjrfg/8DPE+PDyNqf9mic6AmCa8su9Z4nOJR2Vy 3apDWEql8+srO6NqKZYsCv0lQqHkzu5zU8e8bA3NZnLGzktBy4LygDUsJKSm47JH Feb369fyFSYy/ylRjIPkU2BOj3rdIhppDh2H9rqEivCAecVgQFqRnTKvzWPGvXww T6+/xRg7ICqNkkNT0p40ERu3UaUPJLuerge/RoKK2subphLpKJBuX3YamcTmJQCz /Yg3fd890G3+H31/sBAcZlAQebrlKO+wcXMVEGnsv3XnmKdBY2vM9dlk/5pFBj7F 5CgefhrmIRamezeJnaEH6eSbHLiSd/e9kO1Gv6I9UFM5cgZ1PWneRlAFWLw8rUDo WkmzDBgiQFGaELiANeUgnsMDwZeNLcYr4jobKsCh4zYMc0i7c+leY6i5NDjZk2Zg QHsMg1EKmCFjnLtsc7EMeGkzEqmvMmdjQHd6vCALd0bsg2LLyMMLnQwd7g/hmRFB iZEfC2q9QqJMDvzRV7dV+IKnQP2ENPqh4OoB1VIhW+pdve19zb6huNeBujgLeahB BQ8Le1F6JU5kn6lRtRZQuzli4nndzSYMRpat/YcUtaMbnY6bTA01eEC04D1Ag+yD RR/6+CT2OHCfgDHWTZZ9GWhxK2MLX4WixUq2mdWStelOO7riFA4Zjs2HJsieFGbm 7yM+OA4FQAY= =lZur -END PGP SIGNATURE- Hendrik Tews (3): New upstream version 8.6 Merge tag 'upstream/8.6' new upstream version and minor polishing --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq-doc] 03/03: new upstream version and minor polishing
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository coq-doc. commit 2dc0095a6bc2cd2b4c4916b19bbe1c55d7a87880 Author: Hendrik Tews <hend...@askra.de> Date: Wed Jul 5 22:21:24 2017 +0200 new upstream version and minor polishing --- debian/.gitignore | 1 + debian/changelog | 15 +++ debian/control | 16 ++-- debian/coq-doc-html.doc-base.faq | 4 ++-- debian/coq-doc-html.doc-base.manual| 2 +- debian/coq-doc-html.install| 1 + debian/coq-doc-pdf.doc-base.faq| 4 ++-- debian/coq-doc-pdf.doc-base.manual | 2 +- debian/patches/series | 1 - debian/patches/unterminated_string_literal | 17 - 10 files changed, 33 insertions(+), 30 deletions(-) diff --git a/debian/.gitignore b/debian/.gitignore new file mode 100644 index 000..b25c15b --- /dev/null +++ b/debian/.gitignore @@ -0,0 +1 @@ +*~ diff --git a/debian/changelog b/debian/changelog index 4913d35..c40dacf 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,18 @@ +coq-doc (8.6-1) unstable; urgency=medium + + * Team upload. + * New upstream version 8.6 (Closes: #864468) + * add myself to uploaders + * bump standards version to 4.0.0 + * fix build dependencies + * changed Vcs fields to https + * fixed missing axiom picture in FAQ + * remove unterminated_string_literal patch (fixed upstream) + * updated doc-base entries + * added .gitignore in debian dir to ignore editor backups + + -- Hendrik Tews <hend...@askra.de> Wed, 05 Jul 2017 22:29:28 +0200 + coq-doc (8.4pl4-2) unstable; urgency=medium * Team upload diff --git a/debian/control b/debian/control index 4c521a6..d2ea2b6 100644 --- a/debian/control +++ b/debian/control @@ -4,22 +4,26 @@ Priority: optional Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Uploaders: Samuel Mimram <smim...@debian.org>, - Stéphane Glondu <glo...@debian.org> -Standards-Version: 3.9.5 + Stéphane Glondu <glo...@debian.org>, + Hendrik Tews <hend...@askra.de> +Standards-Version: 4.0.0 Build-Depends: debhelper (>= 9) Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, - texlive-math-extra, + texlive-science, texlive-lang-french, texlive-humanities, hevea (>= 1.05), + imagemagick, + fig2dev, camlp5, - ocaml-nox + ocaml-nox, + ocaml-findlib Homepage: http://coq.inria.fr/ -Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-doc.git -Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git +Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/coq-doc.git +Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git Package: coq-doc Architecture: all diff --git a/debian/coq-doc-html.doc-base.faq b/debian/coq-doc-html.doc-base.faq index 79e34ad..9f4c3ee 100644 --- a/debian/coq-doc-html.doc-base.faq +++ b/debian/coq-doc-html.doc-base.faq @@ -1,6 +1,6 @@ Document: coq-faq-html -Title: Coq Version 8.0 for the Clueless (FAQ) -Author: Hugo Herbelin, Florent Kirchner, Benjamin Monate, Julien Narboux +Title: Coq Version 8.4 for the Clueless (FAQ) +Author: Pierre Castéran, Hugo Herbelin, Florent Kirchner, Benjamin Monate, Julien Narboux Abstract: This note intends to provide an easy way to get acquainted with the Coq theorem prover. It tries to formulate appropriate answers to some of the questions any newcomers will face, and to give pointers to other references when possible. Section: Science/Mathematics diff --git a/debian/coq-doc-html.doc-base.manual b/debian/coq-doc-html.doc-base.manual index cf7b9a2..f2e242d 100644 --- a/debian/coq-doc-html.doc-base.manual +++ b/debian/coq-doc-html.doc-base.manual @@ -1,7 +1,7 @@ Document: coq-manual-html Title: The Coq Proof Assistant Reference Manual Author: The Coq Development Team -Abstract: Reference Manual of version 8.0 of the Coq proof assistant which is a system designed to develop mathematical proofs, and especially to write formal specifications, programs and to verify that programs are correct with respect to their specification. +Abstract: Reference Manual of version 8.6 of the Coq proof assistant, which is a system designed to develop mathematical proofs, and especially to write formal specifications, programs and to verify that programs are correct with respect to their specification. Section: Science/Mathematics Format: HTML diff --git a/debian/coq-doc-html.install b/debian/coq-doc-html.install index 72c447e..5e680af 100644 --- a/debian/coq-doc-html.install +++ b/debian/coq-doc-html.install @@ -1,4 +1,5 @@ doc/refman/html/*usr/share/doc/coq-doc-html/refman doc/tutorial/Tutorial.v.html usr/share/doc/coq-doc-html doc/faq/FAQ.v.html
[Pkg-ocaml-maint-commits] [coq-doc] branch pristine-tar updated (b3df77e -> 3c30ad1)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository coq-doc. from b3df77e pristine-tar data for coq-doc_8.4pl4.orig.tar.gz new 3c30ad1 pristine-tar data for coq-doc_8.6.orig.tar.gz The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: coq-doc_8.6.orig.tar.gz.delta | Bin 0 -> 86901 bytes coq-doc_8.6.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 coq-doc_8.6.orig.tar.gz.delta create mode 100644 coq-doc_8.6.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq-doc] 01/01: pristine-tar data for coq-doc_8.6.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository coq-doc. commit 3c30ad1a331f881f5b6d0e1e8a37a9771cfe99a4 Author: Hendrik Tews <hend...@askra.de> Date: Mon Jul 3 22:16:46 2017 +0200 pristine-tar data for coq-doc_8.6.orig.tar.gz --- coq-doc_8.6.orig.tar.gz.delta | Bin 0 -> 86901 bytes coq-doc_8.6.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/coq-doc_8.6.orig.tar.gz.delta b/coq-doc_8.6.orig.tar.gz.delta new file mode 100644 index 000..bc0e7d1 Binary files /dev/null and b/coq-doc_8.6.orig.tar.gz.delta differ diff --git a/coq-doc_8.6.orig.tar.gz.id b/coq-doc_8.6.orig.tar.gz.id new file mode 100644 index 000..d1a2bc2 --- /dev/null +++ b/coq-doc_8.6.orig.tar.gz.id @@ -0,0 +1 @@ +365e2a73eb38cacbd9ea4e4291dfa91a5c0dd422 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [coq-doc] annotated tag upstream/8.6 created (now 244f964)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/8.6 in repository coq-doc. at 244f964 (tag) tagging e0c5d5d4aba56d942851beb77c8d61fd2ede8a98 (commit) replaces upstream/8.4pl4 tagged by Hendrik Tews on Mon Jul 3 22:16:46 2017 +0200 - Log - Upstream version 8.6 Hendrik Tews (1): New upstream version 8.6 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] 05/05: update changelog and homepage
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cppo. commit 6f3e817095968ce4731e85c6572360a188806ccb Author: Hendrik Tews <hend...@askra.de> Date: Thu Jan 19 15:02:04 2017 +0100 update changelog and homepage --- debian/changelog | 7 +++ debian/control | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index cb92423..8fc66c1 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +cppo (1.4.1-1) unstable; urgency=medium + + * use githup page as homepage + * Imported Upstream version 1.4.0, 1.4.1 + + -- Hendrik Tews <hend...@askra.de> Thu, 19 Jan 2017 14:28:55 +0100 + cppo (1.3.2-1) unstable; urgency=medium * Team upload diff --git a/debian/control b/debian/control index 18a9343..7d32f85 100644 --- a/debian/control +++ b/debian/control @@ -9,7 +9,7 @@ Build-Depends: dh-ocaml (>= 0.9~), debhelper (>= 9) Standards-Version: 3.9.8 -Homepage: http://mjambon.com/cppo.html +Homepage: https://github.com/mjambon/cppo Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/cppo.git Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/cppo.git -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] 03/05: Imported Upstream version 1.4.1
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cppo. commit 59a3d7aa6f6934f833a3f998047ec81578ec8311 Author: Hendrik Tews <hend...@askra.de> Date: Thu Jan 19 14:24:36 2017 +0100 Imported Upstream version 1.4.1 --- Makefile | 8 cppo_lexer.mll | 2 +- opam | 21 + 3 files changed, 22 insertions(+), 9 deletions(-) diff --git a/Makefile b/Makefile index c2cea59..d7b57c0 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -VERSION = 1.4.0 +VERSION = 1.4.1 ifeq "$(shell ocamlc -config |grep os_type)" "os_type: Win32" EXE=.exe @@ -61,14 +61,14 @@ ML = cppo_version.ml cppo_types.ml \ OCAMLBUILD_ML = ocamlbuild_cppo.ml all: $(ML) - ocamlc -o cppo$(EXE) -dtypes unix.cma str.cma $(ML) + ocamlfind ocamlc -o cppo$(EXE) -dtypes -linkpkg -package "unix str bytes" $(ML) opt: $(ML) - ocamlopt -o cppo$(EXE) -dtypes unix.cmxa str.cmxa $(ML) + ocamlfind ocamlopt -o cppo$(EXE) -dtypes -linkpkg -package "unix str bytes" $(ML) # For debugging; not installed. toplib: $(ML) - ocamlc -a -o cppo.cma -dtypes unix.cma str.cma $(ML) + ocamlfind ocamlc -a -o cppo.cma -dtypes -linkpkg -package "unix str bytes" $(ML) ocamlbuild: cd ocamlbuild_plugin && ocamlbuild -use-ocamlfind $(OCAMLBUILD_IMPL) diff --git a/cppo_lexer.mll b/cppo_lexer.mll index b479704..93ae901 100644 --- a/cppo_lexer.mll +++ b/cppo_lexer.mll @@ -19,7 +19,7 @@ let lex_new_lines lb = let n = ref 0 in let s = lb.lex_buffer in for i = lb.lex_start_pos to lb.lex_curr_pos do -if s.[i] = '\n' then +if Bytes.get s i = '\n' then incr n done; let p = lb.lex_curr_p in diff --git a/opam b/opam index b8af947..9d13df5 100644 --- a/opam +++ b/opam @@ -1,13 +1,26 @@ -opam-version: "1" -maintainer: "cont...@ocamlpro.com" +opam-version: "1.2" +maintainer: "mar...@mjambon.com" authors: ["Martin Jambon"] homepage: "http://mjambon.com/cppo.html; +dev-repo: "https://github.com/mjambon/cppo.git; +bug-reports: "https://github.com/mjambon/cppo/issues; license: "BSD-3-Clause" build: [ - [make] + [make "all"] {!ocaml_native} + [make "opt"] {ocaml_native} + [make "ocamlbuild"] +] + +install: [ [make "install-lib"] ] remove: [ ["ocamlfind" "remove" "cppo_ocamlbuild"] -] \ No newline at end of file +] + +depends: [ + "ocamlfind" + "ocamlbuild" + "base-bytes" +] -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] branch pristine-tar updated (1bd30d4 -> 08ae9bd)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository cppo. from 1bd30d4 pristine-tar data for cppo_1.3.2.orig.tar.gz new 1a97c43 pristine-tar data for cppo_1.4.0.orig.tar.gz new 08ae9bd pristine-tar data for cppo_1.4.1.orig.tar.gz The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: cppo_1.4.0.orig.tar.gz.delta | Bin 0 -> 1873 bytes cppo_1.4.0.orig.tar.gz.id| 1 + cppo_1.4.1.orig.tar.gz.delta | Bin 0 -> 1835 bytes cppo_1.4.1.orig.tar.gz.id| 1 + 4 files changed, 2 insertions(+) create mode 100644 cppo_1.4.0.orig.tar.gz.delta create mode 100644 cppo_1.4.0.orig.tar.gz.id create mode 100644 cppo_1.4.1.orig.tar.gz.delta create mode 100644 cppo_1.4.1.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] 02/02: pristine-tar data for cppo_1.4.1.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository cppo. commit 08ae9bd21b1e10872326df3f2b8441da9d7bb6b2 Author: Hendrik Tews <hend...@askra.de> Date: Thu Jan 19 14:24:37 2017 +0100 pristine-tar data for cppo_1.4.1.orig.tar.gz --- cppo_1.4.1.orig.tar.gz.delta | Bin 0 -> 1835 bytes cppo_1.4.1.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/cppo_1.4.1.orig.tar.gz.delta b/cppo_1.4.1.orig.tar.gz.delta new file mode 100644 index 000..71a8a08 Binary files /dev/null and b/cppo_1.4.1.orig.tar.gz.delta differ diff --git a/cppo_1.4.1.orig.tar.gz.id b/cppo_1.4.1.orig.tar.gz.id new file mode 100644 index 000..3c917d2 --- /dev/null +++ b/cppo_1.4.1.orig.tar.gz.id @@ -0,0 +1 @@ +3b6a0d2179587d15436ba9e7c339db7a04e670ab -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] 02/05: Merge tag 'upstream/1.4.0'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cppo. commit 0023c5f9104cb652ebbd2f0aed9924037322e554 Merge: 92dcc90 46f583e Author: Hendrik Tews <hend...@askra.de> Date: Thu Jan 19 14:23:03 2017 +0100 Merge tag 'upstream/1.4.0' Upstream version 1.4.0 Makefile | 2 +- README.md | 5 +++-- ocamlbuild_plugin/ocamlbuild_cppo.ml | 29 ++--- ocamlbuild_plugin/ocamlbuild_cppo.mli | 7 +++ 4 files changed, 25 insertions(+), 18 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] 01/05: Imported Upstream version 1.4.0
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cppo. commit 46f583e50935a4c2fc51ba8dfdb668ace4bc3b65 Author: Hendrik Tews <hend...@askra.de> Date: Thu Jan 19 14:23:03 2017 +0100 Imported Upstream version 1.4.0 --- Makefile | 2 +- README.md | 5 +++-- ocamlbuild_plugin/ocamlbuild_cppo.ml | 29 ++--- ocamlbuild_plugin/ocamlbuild_cppo.mli | 7 +++ 4 files changed, 25 insertions(+), 18 deletions(-) diff --git a/Makefile b/Makefile index b031fe2..c2cea59 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -VERSION = 1.3.2 +VERSION = 1.4.0 ifeq "$(shell ocamlc -config |grep os_type)" "os_type: Win32" EXE=.exe diff --git a/README.md b/README.md index c749301..1c419f9 100644 --- a/README.md +++ b/README.md @@ -406,8 +406,9 @@ let () = ) ``` -The plugin will apply cppo on all files ending in `.cppo.ml` in order -to produce`.ml` files. The following tags are available: +By default the plugin will apply cppo on all files ending in `.cppo.ml` +`cppo.mli`, and `cppo.mlpack`, in order to produce `.ml`, `.mli`, +and`.mlpack` files. The following tags are available: * `cppo_D(X)` ≡ `-D X` * `cppo_U(X)` ≡ `-U X` * `cppo_q` ≡ `-q` diff --git a/ocamlbuild_plugin/ocamlbuild_cppo.ml b/ocamlbuild_plugin/ocamlbuild_cppo.ml index 153d071..f301c36 100644 --- a/ocamlbuild_plugin/ocamlbuild_cppo.ml +++ b/ocamlbuild_plugin/ocamlbuild_cppo.ml @@ -1,23 +1,22 @@ open Ocamlbuild_plugin +let cppo_rules ext = + let dep = "%(name).cppo"-.-ext + and prod1 = "%(name: <*> and not <*.cppo>)"-.-ext + and prod2 = "%(name: <**/*> and not <**/*.cppo>)"-.-ext in + let cppo_rule prod env _build = +let dep = env dep in +let prod = env prod in +let tags = tags_of_pathname prod ++ "cppo" in +Cmd (S[A "cppo"; T tags; S [A "-o"; P prod]; P dep ]) + in + rule ("cppo: *.cppo."-.-ext^" -> *."-.-ext) ~dep ~prod:prod1 (cppo_rule prod1); + rule ("cppo: **/*.cppo."-.-ext^" -> **/*."-.-ext) ~dep ~prod:prod2 (cppo_rule prod2) + let dispatcher = function | After_rules -> begin - let cppo_rules ext = -let dep = "%(name).cppo"-.-ext -and prod1 = "%(name: <*> and not <*.cppo>)"-.-ext -and prod2 = "%(name: <**/*> and not <**/*.cppo>)"-.-ext in -let cppo_rule prod env _build = - let dep = env dep in - let prod = env prod in - let tags = tags_of_pathname prod ++ "cppo" in - Cmd (S[A "cppo"; T tags; S [A "-o"; P prod]; P dep ]) -in -rule ("cppo: *.cppo."-.-ext^" -> *."-.-ext) ~dep ~prod:prod1 (cppo_rule prod1); -rule ("cppo: **/*.cppo."-.-ext^" -> **/*."-.-ext) ~dep ~prod:prod2 (cppo_rule prod2); - in - List.iter cppo_rules ["ml"; "mli"]; - + List.iter cppo_rules ["ml"; "mli"; "mlpack"]; pflag ["cppo"] "cppo_D" (fun s -> S [A "-D"; A s]) ; pflag ["cppo"] "cppo_U" (fun s -> S [A "-U"; A s]) ; pflag ["cppo"] "cppo_I" (fun s -> diff --git a/ocamlbuild_plugin/ocamlbuild_cppo.mli b/ocamlbuild_plugin/ocamlbuild_cppo.mli index 692d887..2124358 100644 --- a/ocamlbuild_plugin/ocamlbuild_cppo.mli +++ b/ocamlbuild_plugin/ocamlbuild_cppo.mli @@ -1,2 +1,9 @@ +(** [cppo_rules extension] will add rules to Ocamlbuild so that +cppo is applied to files ending in "cppo.[extension]". + +By default rules are inserted for files ending with "ml", "mli" and +"mlpack". *) +val cppo_rules : string -> unit + val dispatcher : Ocamlbuild_plugin.hook -> unit -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] 01/02: pristine-tar data for cppo_1.4.0.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository cppo. commit 1a97c43cfe632cd59c555401ad63963a4435004d Author: Hendrik Tews <hend...@askra.de> Date: Thu Jan 19 14:23:03 2017 +0100 pristine-tar data for cppo_1.4.0.orig.tar.gz --- cppo_1.4.0.orig.tar.gz.delta | Bin 0 -> 1873 bytes cppo_1.4.0.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/cppo_1.4.0.orig.tar.gz.delta b/cppo_1.4.0.orig.tar.gz.delta new file mode 100644 index 000..1be5698 Binary files /dev/null and b/cppo_1.4.0.orig.tar.gz.delta differ diff --git a/cppo_1.4.0.orig.tar.gz.id b/cppo_1.4.0.orig.tar.gz.id new file mode 100644 index 000..6049801 --- /dev/null +++ b/cppo_1.4.0.orig.tar.gz.id @@ -0,0 +1 @@ +2d3716eb3aa08ea293bdb15a074454c4b03cd4b7 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] annotated tag debian/1.4.1-1 created (now 314731f)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/1.4.1-1 in repository cppo. at 314731f (tag) tagging 6f3e817095968ce4731e85c6572360a188806ccb (commit) replaces debian/1.3.2-1 tagged by Hendrik Tews on Thu Jan 19 15:13:12 2017 +0100 - Log - cppo Debian release 1.4.1-1 -BEGIN PGP SIGNATURE- Version: GnuPG v1 iQIcBAABCgAGBQJYgMl4AAoJEOxoV33tyu5oIfEP/iI5RBdHkKkq8LTnrVzUU7la XBHUsTI31l9Nb4Vg+AUHL3RZBEGEwwXtKhL944BaQOSfrP/jCFiMmIrIMyp2r92f RzAUVFWpwP7Kn9/amt9huIdH7nayNShjCNBkQZ26RmL56/JFkNBvI2/rFmyl+wsd z5UzrYnM7qiY9NIdTsJEF22oZf8OVx0OGJzqna7eiE6WborXdwVkpf0JixmGJVdL Mywc590Zl06Fhg69soYO3+n/7QVs5vQKo4eFzyEw+Mh6CtX/XC6HRnmoY924MXuu hZnzWZhdgDBaTqdCqztI2WuX0I9rlfrCQ6pwQ23e91owncMKNuw7876ohNk3cEFe IiwSYgCVvGYhW/6YuwNs2SG6IOBEbIT4xm8QBlEQCFe+8703KXcDz1x3iTv2CTvg OGgsq65szGj5uwPjYaTtEtyvFmlX1TwqEQDrC4KQQotq1UHYPyg8DCom/C6tNGvO M/Z13VPVy/WbZIX0vbRJWZrC1l/WRN4zHsceYfHxIaxud6lOyjiBlp3MWHces4Zc abisXCuTv8iG9uYGHrWzFWzbLr2xxkbtun/05yv0Jcu/VTEj4gvRlYa09WDJTCYc /rDICwDIBdgeuwXvpJYnps1/17vob2czcsmZ4S86jbpsCcY2eLxxaE3lD7qrf9Gg P6tocwwVD37Tp87MVaMN =RDvy -END PGP SIGNATURE- Hendrik Tews (5): Imported Upstream version 1.4.0 Merge tag 'upstream/1.4.0' Imported Upstream version 1.4.1 Merge tag 'upstream/1.4.1' update changelog and homepage --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] 04/05: Merge tag 'upstream/1.4.1'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cppo. commit 7208d5affaa92f210c7d9788b283bf578a8554a6 Merge: 0023c5f 59a3d7a Author: Hendrik Tews <hend...@askra.de> Date: Thu Jan 19 14:24:37 2017 +0100 Merge tag 'upstream/1.4.1' Upstream version 1.4.1 Makefile | 8 cppo_lexer.mll | 2 +- opam | 21 + 3 files changed, 22 insertions(+), 9 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] annotated tag upstream/1.4.1 created (now 477eebc)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/1.4.1 in repository cppo. at 477eebc (tag) tagging 59a3d7aa6f6934f833a3f998047ec81578ec8311 (commit) replaces upstream/1.4.0 tagged by Hendrik Tews on Thu Jan 19 14:24:37 2017 +0100 - Log - Upstream version 1.4.1 Hendrik Tews (1): Imported Upstream version 1.4.1 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] annotated tag upstream/1.4.0 created (now ce4003f)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/1.4.0 in repository cppo. at ce4003f (tag) tagging 46f583e50935a4c2fc51ba8dfdb668ace4bc3b65 (commit) replaces upstream/1.3.2 tagged by Hendrik Tews on Thu Jan 19 14:23:03 2017 +0100 - Log - Upstream version 1.4.0 Hendrik Tews (1): Imported Upstream version 1.4.0 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] branch upstream updated (4ece36e -> 59a3d7a)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository cppo. from 4ece36e Imported Upstream version 1.3.2 new 46f583e Imported Upstream version 1.4.0 new 59a3d7a Imported Upstream version 1.4.1 The 2 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: Makefile | 8 README.md | 5 +++-- cppo_lexer.mll| 2 +- ocamlbuild_plugin/ocamlbuild_cppo.ml | 29 ++--- ocamlbuild_plugin/ocamlbuild_cppo.mli | 7 +++ opam | 21 + 6 files changed, 46 insertions(+), 26 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [cppo] branch master updated (92dcc90 -> 6f3e817)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository cppo. from 92dcc90 Update changelog and prepare upload to unstable new 46f583e Imported Upstream version 1.4.0 new 0023c5f Merge tag 'upstream/1.4.0' new 59a3d7a Imported Upstream version 1.4.1 new 7208d5a Merge tag 'upstream/1.4.1' new 6f3e817 update changelog and homepage The 5 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: Makefile | 8 README.md | 5 +++-- cppo_lexer.mll| 2 +- debian/changelog | 7 +++ debian/control| 2 +- ocamlbuild_plugin/ocamlbuild_cppo.ml | 29 ++--- ocamlbuild_plugin/ocamlbuild_cppo.mli | 7 +++ opam | 21 + 8 files changed, 54 insertions(+), 27 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] branch master updated (a5735d4 -> db54cd8)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository hol-light. from a5735d4 Update watch file new 991870c Imported Upstream version 20170109 new 0d4515f Merge tag 'upstream/20170109' new db54cd8 update packaging for new upstream version The 3 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: 100/bernoulli.ml | 2 +- 100/cayley_hamilton.ml | 7 +- 100/circle.ml | 2 - 100/constructible.ml |12 +- 100/e_is_transcendental.ml | 4 +- 100/fourier.ml | 1317 +- 100/heron.ml | 2 +- 100/independence.ml| 148 +- 100/liouville.ml | 2 +- 100/minkowski.ml | 3 +- 100/piseries.ml| 2 +- 100/pnt.ml | 9 +- 100/polyhedron.ml | 4 +- 100/ptolemy.ml |18 +- 100/ramsey.ml |12 +- 100/reciprocity.ml | 2 +- 100/sqrt.ml|42 + Arithmetic/definability.ml | 2 +- Boyer_Moore/clausal_form.ml| 4 +- Boyer_Moore/definitions.ml |12 +- Boyer_Moore/environment.ml | 6 +- Boyer_Moore/equalities.ml |12 +- Boyer_Moore/generalize.ml |46 +- Boyer_Moore/induction.ml | 2 +- Boyer_Moore/irrelevance.ml | 2 +- Boyer_Moore/rewrite_rules.ml | 4 +- Boyer_Moore/support.ml | 4 +- Boyer_Moore/terms_and_clauses.ml | 5 +- Boyer_Moore/waterfall.ml |16 +- CHANGES| 2579 +- Complex/complex_grobner.ml |24 +- Complex/complexnumbers.ml |10 +- Complex/quelim.ml | 4 +- Examples/brunn_minkowski.ml|43 +- Examples/cooper.ml |32 +- Examples/dickson.ml|85 + Examples/division_algebras.ml | 575 + Examples/dlo.ml| 6 +- Examples/gcdrecurrence.ml | 230 + Examples/harmonicsum.ml| 123 + Examples/hol88.ml |12 +- Examples/holby.ml |24 +- Examples/inverse_bug_puzzle_tac.ml | 2 +- Examples/kb.ml |22 +- Examples/lucas_lehmer.ml | 412 + Examples/misiurewicz.ml| 1296 + Examples/mizar.ml | 122 +- Examples/prog.ml |52 +- Examples/prover9.ml|25 +- Examples/solovay.ml| 2 +- Examples/sos.ml|44 +- Examples/update_database.ml| 8 +- Formal_ineqs/README.txt| 8 + Formal_ineqs/arith/arith_cache.hl | 212 + Formal_ineqs/arith/arith_num.hl| 1448 + Formal_ineqs/arith/eval_interval.hl| 278 + Formal_ineqs/arith/float.hl| 3889 ++ Formal_ineqs/arith/float_atn.hl| 582 + Formal_ineqs/arith/float_theory.hl |87 + Formal_ineqs/arith/interval_arith.hl |59 + Formal_ineqs/arith/more_float.hl | 491 + Formal_ineqs/arith/nat.hl | 102 + Formal_ineqs/arith/num_exp_theory.hl | 251 + Formal_ineqs/arith_options.hl |25 + Formal_ineqs/docs/FormalVerifier.pdf | Bin 0 -> 223139 bytes Formal_ineqs/docs/FormalVerifier.tex | 419 + Formal_ineqs/examples.hl |74 + Formal_ineqs/examples_flyspeck.hl | 326 + Formal_ineqs/examples_poly.hl | 141 + Formal_ineqs/informal/informal_arith.hl
[Pkg-ocaml-maint-commits] [hol-light] 02/03: Merge tag 'upstream/20170109'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit 0d4515f9ce415a6b6a904e64243abd3a462d Merge: a5735d4 991870c Author: Hendrik Tews <hend...@askra.de> Date: Mon Jan 9 20:52:16 2017 +0100 Merge tag 'upstream/20170109' Upstream version 20170109 100/bernoulli.ml | 2 +- 100/cayley_hamilton.ml | 7 +- 100/circle.ml | 2 - 100/constructible.ml |12 +- 100/e_is_transcendental.ml | 4 +- 100/fourier.ml | 1317 +- 100/heron.ml | 2 +- 100/independence.ml| 148 +- 100/liouville.ml | 2 +- 100/minkowski.ml | 3 +- 100/piseries.ml| 2 +- 100/pnt.ml | 9 +- 100/polyhedron.ml | 4 +- 100/ptolemy.ml |18 +- 100/ramsey.ml |12 +- 100/reciprocity.ml | 2 +- 100/sqrt.ml|42 + Arithmetic/definability.ml | 2 +- Boyer_Moore/clausal_form.ml| 4 +- Boyer_Moore/definitions.ml |12 +- Boyer_Moore/environment.ml | 6 +- Boyer_Moore/equalities.ml |12 +- Boyer_Moore/generalize.ml |46 +- Boyer_Moore/induction.ml | 2 +- Boyer_Moore/irrelevance.ml | 2 +- Boyer_Moore/rewrite_rules.ml | 4 +- Boyer_Moore/support.ml | 4 +- Boyer_Moore/terms_and_clauses.ml | 5 +- Boyer_Moore/waterfall.ml |16 +- CHANGES| 2579 +- Complex/complex_grobner.ml |24 +- Complex/complexnumbers.ml |10 +- Complex/quelim.ml | 4 +- Examples/brunn_minkowski.ml|43 +- Examples/cooper.ml |32 +- Examples/dickson.ml|85 + Examples/division_algebras.ml | 575 + Examples/dlo.ml| 6 +- Examples/gcdrecurrence.ml | 230 + Examples/harmonicsum.ml| 123 + Examples/hol88.ml |12 +- Examples/holby.ml |24 +- Examples/inverse_bug_puzzle_tac.ml | 2 +- Examples/kb.ml |22 +- Examples/lucas_lehmer.ml | 412 + Examples/misiurewicz.ml| 1296 + Examples/mizar.ml | 122 +- Examples/prog.ml |52 +- Examples/prover9.ml|25 +- Examples/solovay.ml| 2 +- Examples/sos.ml|44 +- Examples/update_database.ml| 8 +- Formal_ineqs/README.txt| 8 + Formal_ineqs/arith/arith_cache.hl | 212 + Formal_ineqs/arith/arith_num.hl| 1448 + Formal_ineqs/arith/eval_interval.hl| 278 + Formal_ineqs/arith/float.hl| 3889 ++ Formal_ineqs/arith/float_atn.hl| 582 + Formal_ineqs/arith/float_theory.hl |87 + Formal_ineqs/arith/interval_arith.hl |59 + Formal_ineqs/arith/more_float.hl | 491 + Formal_ineqs/arith/nat.hl | 102 + Formal_ineqs/arith/num_exp_theory.hl | 251 + Formal_ineqs/arith_options.hl |25 + Formal_ineqs/docs/FormalVerifier.pdf | Bin 0 -> 223139 bytes Formal_ineqs/docs/FormalVerifier.tex | 419 + Formal_ineqs/examples.hl |74 + Formal_ineqs/examples_flyspeck.hl | 326 + Formal_ineqs/examples_poly.hl | 141 + Formal_ineqs/informal/informal_arith.hl| 805 + Formal_ineqs/informal/informal_eval_interval.hl| 275 + Formal_ineqs/informal/informal_m_taylor.hl | 403 + Formal_ineqs/informal/informal_m_verifier.hl | 302 + .../jordan/parse_ext_override_int
[Pkg-ocaml-maint-commits] [hol-light] 03/03: update packaging for new upstream version
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit db54cd89ee1b59337e9583b6a327a8d94bae2abc Author: Hendrik Tews <hend...@askra.de> Date: Mon Jan 9 23:32:00 2017 +0100 update packaging for new upstream version --- debian/README.Debian| 51 -- debian/changelog| 23 +++ debian/control | 6 +- debian/copyright| 91 - debian/hol-light-source.exclude | 5 +- debian/patches/cd-holtest-parallel.patch| 13 debian/patches/holtest-no-proof-recording.patch | 2 +- debian/patches/series | 1 + debian/rules| 5 +- 9 files changed, 169 insertions(+), 28 deletions(-) diff --git a/debian/README.Debian b/debian/README.Debian index 331d58c..94317aa 100644 --- a/debian/README.Debian +++ b/debian/README.Debian @@ -12,7 +12,7 @@ For information on how to use HOL Light, please visit the HOL Light website at http://www.cl.cam.ac.uk/~jrh13/hol-light/ HOL Light runs inside an OCaml toplevel. On every session start, the -logical core and all auxilary theorems are loaded as sources into the +logical core and all auxiliary theorems are loaded as sources into the OCaml toplevel. On modern hardware this takes about 90 seconds. HOL Light can use several external tools. Prover9, CSDP, PARI/GP and @@ -61,27 +61,40 @@ installing security updates. Hol Light test suite -The HOL Light test suite is in /usr/share/hol-light/holtest. You -should install the packages prover9, coinor-csdp, pari-gp and -libocamlgraph-ocaml-dev before running it. The test suite will run for -the best part of a day. To check success you have to search for -"Error", "Not_found" and "not found" in the output, for example by -doing +The HOL Light test suite is in /usr/share/hol-light/holtest and in +/usr/share/hol-light/holtest_parallel. Both scripts run the same +tests, the latter one uses ``make -j $(getconf _NPROCESSORS_ONLN)'' to +run the tests in parallel on all available cores. When I last tried, +the tests run for about 70 CPU hours (10 hours on 8 cores for the +parallel version). + +You should install the packages prover9, coinor-csdp, pari-gp and +libocamlgraph-ocaml-dev before running the tests. The sequential +version produces the output on standard output, which you should +capture with something like -/usr/share/hol-light/holtest 2>&1 | tee holtest.log | egrep -i '###|error|not.found' +/usr/share/hol-light/holtest 2>&1 | tee holtest.log + +The parallel version eventually produces the file +/tmp/hollog_<date+time>/holtest.log containing all the output. +To check success you have to search for +"Error", "Not_found" and "not found" in the output, for example by +using -With this command you can watch all HOL Light messages flying by with -"tail -f holtest.log". +egrep -i 'error|not.found' -On Debian the test suite will produce one error -"Error: skip Minisat/make.ml...", because the Minisat examples cannot -be run without zChaff, which is not available in Debian. Further, -there are a number of false positives, because a number of values and -exceptions contain "error" in their name. +On Debian, the test suite will produce the error "Error: skip +Minisat/make.ml...", because the Minisat examples cannot be run +without zChaff, which is not available in Debian. Additionally, the +tests Mizarlight/make.ml, miz3/make.ml and QBF/make.ml will fail as +they do for the upstream version. On architecture i386 (and probably +other 32 bit architectures as well), the test 100/pnt.ml fails because +it runs out of memory. -Note that some tests pass successfully even if the functionality is -not available. For instance, "QBF/make.ml" is loaded successfully, -regardless of whether squolem2 is installed or not. +Note that the above grep command produces quite a few false positives, +because a number of values and exceptions contain "error" in their +name. Note also, that some tests pass successfully even if the +functionality is not available. - -- Hendrik Tews <hend...@askra.de>, Fri, 17 May 2013 13:54:06 +0200 + -- Hendrik Tews <hend...@askra.de>, Mon, 9 Jan 2017 23:30:42 +0100 diff --git a/debian/changelog b/debian/changelog index 52aa11a..1d6b415 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,26 @@ +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-v
[Pkg-ocaml-maint-commits] [hol-light] branch upstream updated (fc867d4 -> 991870c)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository hol-light. from fc867d4 Imported Upstream version 20131026 new 991870c Imported Upstream version 20170109 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: 100/bernoulli.ml | 2 +- 100/cayley_hamilton.ml | 7 +- 100/circle.ml | 2 - 100/constructible.ml |12 +- 100/e_is_transcendental.ml | 4 +- 100/fourier.ml | 1317 +- 100/heron.ml | 2 +- 100/independence.ml| 148 +- 100/liouville.ml | 2 +- 100/minkowski.ml | 3 +- 100/piseries.ml| 2 +- 100/pnt.ml | 9 +- 100/polyhedron.ml | 4 +- 100/ptolemy.ml |18 +- 100/ramsey.ml |12 +- 100/reciprocity.ml | 2 +- 100/sqrt.ml|42 + Arithmetic/definability.ml | 2 +- Boyer_Moore/clausal_form.ml| 4 +- Boyer_Moore/definitions.ml |12 +- Boyer_Moore/environment.ml | 6 +- Boyer_Moore/equalities.ml |12 +- Boyer_Moore/generalize.ml |46 +- Boyer_Moore/induction.ml | 2 +- Boyer_Moore/irrelevance.ml | 2 +- Boyer_Moore/rewrite_rules.ml | 4 +- Boyer_Moore/support.ml | 4 +- Boyer_Moore/terms_and_clauses.ml | 5 +- Boyer_Moore/waterfall.ml |16 +- CHANGES| 2579 +- Complex/complex_grobner.ml |24 +- Complex/complexnumbers.ml |10 +- Complex/quelim.ml | 4 +- Examples/brunn_minkowski.ml|43 +- Examples/cooper.ml |32 +- Examples/dickson.ml|85 + Examples/division_algebras.ml | 575 + Examples/dlo.ml| 6 +- Examples/gcdrecurrence.ml | 230 + Examples/harmonicsum.ml| 123 + Examples/hol88.ml |12 +- Examples/holby.ml |24 +- Examples/inverse_bug_puzzle_tac.ml | 2 +- Examples/kb.ml |22 +- Examples/lucas_lehmer.ml | 412 + Examples/misiurewicz.ml| 1296 + Examples/mizar.ml | 122 +- Examples/prog.ml |52 +- Examples/prover9.ml|25 +- Examples/solovay.ml| 2 +- Examples/sos.ml|44 +- Examples/update_database.ml| 8 +- Formal_ineqs/README.txt| 8 + Formal_ineqs/arith/arith_cache.hl | 212 + Formal_ineqs/arith/arith_num.hl| 1448 + Formal_ineqs/arith/eval_interval.hl| 278 + Formal_ineqs/arith/float.hl| 3889 ++ Formal_ineqs/arith/float_atn.hl| 582 + Formal_ineqs/arith/float_theory.hl |87 + Formal_ineqs/arith/interval_arith.hl |59 + Formal_ineqs/arith/more_float.hl | 491 + Formal_ineqs/arith/nat.hl | 102 + Formal_ineqs/arith/num_exp_theory.hl | 251 + Formal_ineqs/arith_options.hl |25 + Formal_ineqs/docs/FormalVerifier.pdf | Bin 0 -> 223139 bytes Formal_ineqs/docs/FormalVerifier.tex | 419 + Formal_ineqs/examples.hl |74 + Formal_ineqs/examples_flyspeck.hl | 326 + Formal_ineqs/examples_poly.hl | 141 + Formal_ineqs/informal/informal_arith.hl| 805 + Formal_ineqs/informal/informal_eval_interval.hl| 275 +
[Pkg-ocaml-maint-commits] [hol-light] branch pristine-tar updated (862c915 -> c2552f0)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository hol-light. from 862c915 pristine-tar data for hol-light_20131026.orig.tar.bz2 new c2552f0 pristine-tar data for hol-light_20170109.orig.tar.gz The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: hol-light_20170109.orig.tar.gz.delta | Bin 0 -> 36362 bytes hol-light_20170109.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 hol-light_20170109.orig.tar.gz.delta create mode 100644 hol-light_20170109.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] 01/01: pristine-tar data for hol-light_20170109.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository hol-light. commit c2552f005a9bea6fead729c4dce8473274267995 Author: Hendrik Tews <hend...@askra.de> Date: Mon Jan 9 20:52:16 2017 +0100 pristine-tar data for hol-light_20170109.orig.tar.gz --- hol-light_20170109.orig.tar.gz.delta | Bin 0 -> 36362 bytes hol-light_20170109.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/hol-light_20170109.orig.tar.gz.delta b/hol-light_20170109.orig.tar.gz.delta new file mode 100644 index 000..a9a9cd9 Binary files /dev/null and b/hol-light_20170109.orig.tar.gz.delta differ diff --git a/hol-light_20170109.orig.tar.gz.id b/hol-light_20170109.orig.tar.gz.id new file mode 100644 index 000..a9fc4c4 --- /dev/null +++ b/hol-light_20170109.orig.tar.gz.id @@ -0,0 +1 @@ +cad327b0538c7a5cf65652ad42ba62cc986fc3ce -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20170109-1 created (now 2017bc9)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/20170109-1 in repository hol-light. at 2017bc9 (tag) tagging db54cd89ee1b59337e9583b6a327a8d94bae2abc (commit) replaces debian/20131026-1 tagged by Hendrik Tews on Thu Jan 12 09:10:17 2017 +0100 - Log - hol-light Debian release 20170109-1 -BEGIN PGP SIGNATURE- Version: GnuPG v1 iQIcBAABCgAGBQJYdznpAAoJEOxoV33tyu5oztUQAIn98IiaMpsQIFvFfYUBSG3K Q8ViHODm19RGtotGnDfYTxnfHuv5sPZX8UvWi1ifzURzQ9F/R6u3GGDyXBcxrbDY Xitzlo999hX+1QmoOSv5biroAq0v0PWbwx6vM/J0DKJkz8F96ELRZcupPVVLDNTC UXkEwMbllQCU2jBMge4We0hEfHAKzjpwkFeVeOhvE7nTGyE6DlNPu5VHK2d0ARHf BNTtAh/iCVlJkXNVozWX7lzJwHO4F80ektvsRWUJBsX6JXlXUu1n1rJLhh+97jDJ YjOWiPFLWISG0oVWbdtbYMJs3p9zJSOCjWdAclWAF9BZtjMuKWkX3fBZVlnfgMuh IOkJEn7TPOJdxsVHXcc3Rrl9/FT3QmiNd2Mvse5ZfyFHK4NT2tuJkPr+J2gKMPds NI9yc6bfuRj1l+oNFQMQjLkh93wqI2J1bjjHYf6kYFVPOE0CBFHDWp6Mu9kQQXjj GzubQ6bMNk3ZM5F7nmd3/yQS0P40g0avAZ4MQQQFYUzwEdD1+vzuLewvEbGxB+we 2W2ipl14g8X2aDBMHCa8zbAgdf44K2VGK9utOkwe9u/hbfwqUTX1GUxJ+f9ywhlx ps8Jg5DrJfhjqWvOZmXTA9Q8/ZZ48xL9MPf0BB086I0gFbCDcJnfkc7EbZByjF8k r4QPZblLP6+5JXH3FbyZ =VhLs -END PGP SIGNATURE- Hendrik Tews (3): Imported Upstream version 20170109 Merge tag 'upstream/20170109' update packaging for new upstream version Mehdi Dogguy (1): Update watch file --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] annotated tag upstream/20170109 created (now 3eb0ea7)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/20170109 in repository hol-light. at 3eb0ea7 (tag) tagging 991870cb311cf1da0bf42e9f383eec43c66be2fc (commit) replaces upstream/20131026 tagged by Hendrik Tews on Mon Jan 9 20:52:16 2017 +0100 - Log - Upstream version 20170109 Hendrik Tews (1): Imported Upstream version 20170109 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [prooftree] annotated tag upstream/0.13 created (now fac3cd0)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/0.13 in repository prooftree. at fac3cd0 (tag) tagging e7a7642b1e46a3506fec54f35c1b2f61b8f76f7c (commit) replaces upstream/0.12 tagged by Hendrik Tews on Tue Jan 3 15:36:30 2017 +0100 - Log - Upstream version 0.13 Hendrik Tews (1): Imported Upstream version 0.13 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [prooftree] 03/03: update packaging
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository prooftree. commit ece0febce920f08ec2b71e00bc2ed3104cd93f48 Author: Hendrik Tews <hend...@askra.de> Date: Tue Jan 3 16:54:23 2017 +0100 update packaging --- debian/changelog | 9 debian/control | 6 +-- .../0001-Fix-compilation-with-OCaml-4.02.patch | 60 -- debian/patches/series | 1 - 4 files changed, 12 insertions(+), 64 deletions(-) diff --git a/debian/changelog b/debian/changelog index aaf9d50..12ab1cd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,12 @@ +prooftree (0.13-1) unstable; urgency=medium + + * Imported Upstream version 0.13 + * delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream) + * push standards version to 3.9.8 + * fix some lintian warnings + + -- Hendrik Tews <hend...@askra.de> Tue, 03 Jan 2017 16:29:09 +0100 + prooftree (0.12-2) unstable; urgency=low [ Stéphane Glondu ] diff --git a/debian/control b/debian/control index 5f097ce..726c4fd 100644 --- a/debian/control +++ b/debian/control @@ -9,10 +9,10 @@ Build-Depends: dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev -Standards-Version: 3.9.4 +Standards-Version: 3.9.8 Homepage: http://askra.de/software/prooftree -Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/prooftree.git -Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git +Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/prooftree.git +Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git Package: prooftree Architecture: any diff --git a/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch b/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch deleted file mode 100644 index d3f5f53..000 --- a/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch +++ /dev/null @@ -1,60 +0,0 @@ -From: Stephane Glondu <st...@glondu.net> -Date: Tue, 16 Jun 2015 09:30:01 +0200 -Subject: Fix compilation with OCaml 4.02 - - input.ml | 12 ++-- - 1 file changed, 6 insertions(+), 6 deletions(-) - -diff --git a/input.ml b/input.ml -index 934943c..8188fce 100644 a/input.ml -+++ b/input.ml -@@ -55,7 +55,7 @@ - - In the following list - of commands, ``%d'' stands for a positive integer and %s for a string --which contains no white space. ``\{cheated|not-cheated\}'' denotes -+which contains no white space. ... denotes - the alternative of either ``cheated'' or ``not-cheated''. An - integer following the keyword state is a state number. An integer - following some xxx-bytes denotes the number of bytes of the next -@@ -79,7 +79,7 @@ - the first message. - } - {- {v current-goals state %d current-sequent %s \ --{cheated|not-cheated} {new-layer|current-layer} proof-name-bytes %d \ -+... ... proof-name-bytes %d \ - command-bytes %d sequent-text-bytes %d additional-id-bytes %d \ - existential-bytes %d\n\ - \n\ -@@ -162,7 +162,7 @@ - {- Full name of the proof} - } - } --{- {v branch-finished state %d {cheated|not-cheated} \ -+{- {v branch-finished state %d ... \ - proof-name-bytes %d command-bytes %d existential-bytes %d\n\ - \n\ - \n\ -@@ -440,8 +440,8 @@ let parse_configure com_buf = - - (** - ** -- * current-goals state %d current-sequent %s {cheated|not-cheated} \ -- * {new-layer|current-layer} -+ * current-goals state %d current-sequent %s ... \ -+ * ... - * proof-name-bytes %d command-bytes %d sequent-text-bytes %d \ - * additional-id-bytes %d existential-bytes %d\n\ - * \n\ -@@ -625,7 +625,7 @@ let parse_switch_goal com_buf = - - - (** -- * branch-finished state %d {cheated|not-cheated} \ -+ * branch-finished state %d ... \ - * proof-name-bytes %d command-bytes %d existential-bytes %d\n\ - * \n\ - * \n\ --- diff --git a/debian/patches/series b/debian/patches/series index 7cd6a96..e69de29 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +0,0 @@ -0001-Fix-compilation-with-OCaml-4.02.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [prooftree] 02/03: Merge tag 'upstream/0.13'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository prooftree. commit 4c3ed43635c508b6ea4e99cf8b60f7df3293245d Merge: db95154 e7a7642 Author: Hendrik Tews <hend...@askra.de> Date: Tue Jan 3 15:50:50 2017 +0100 Merge tag 'upstream/0.13' Upstream version 0.13 .cvsignore | 10 - .gitignore | 13 ++ ChangeLog | 118 +++ INSTALL| 2 +- Makefile.in| 8 +- README | 6 +- about_window.ml| 4 +- changes.html | 16 +- compatibility | 7 + configuration.ml | 584 - configure | 4 +- coq.ml | 6 +- draw_tree.ml | 143 +++-- emacs_commands.ml | 4 +- ext_dialog.ml | 10 +- gtk_ext.ml | 4 +- help_window.ml | 80 ++-- input.ml | 131 +--- input.mli | 4 +- main.ml| 33 +-- node_window.ml | 134 ++-- proof_tree.ml | 56 ++--- proof_tree.mli | 4 +- proof_window.ml| 29 ++- prooftree.1| 59 -- prooftree.man.html | 561 ++ test/cycle.v | 17 ++ test/evar_2.v | 17 ++ test/giveup.v | 11 + tree_layers.ml | 17 +- util.ml| 68 +++ version.mli| 4 +- version.txt| 2 +- 33 files changed, 1656 insertions(+), 510 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [prooftree] branch master updated (db95154 -> ece0feb)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository prooftree. from db95154 Update changelog and prepare upload to unstable new e7a7642 Imported Upstream version 0.13 new 4c3ed43 Merge tag 'upstream/0.13' new ece0feb update packaging The 3 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: .cvsignore | 10 - .gitignore | 13 + ChangeLog | 118 + INSTALL| 2 +- Makefile.in| 8 +- README | 6 +- about_window.ml| 4 +- changes.html | 16 +- compatibility | 7 + configuration.ml | 584 +++-- configure | 4 +- coq.ml | 6 +- debian/changelog | 9 + debian/control | 6 +- .../0001-Fix-compilation-with-OCaml-4.02.patch | 60 --- debian/patches/series | 1 - draw_tree.ml | 143 - emacs_commands.ml | 4 +- ext_dialog.ml | 10 +- gtk_ext.ml | 4 +- help_window.ml | 80 ++- input.ml | 131 +++-- input.mli | 4 +- main.ml| 33 +- node_window.ml | 134 - proof_tree.ml | 56 +- proof_tree.mli | 4 +- proof_window.ml| 29 +- prooftree.1| 59 ++- prooftree.man.html | 561 test/cycle.v | 17 + test/evar_2.v | 17 + test/giveup.v | 11 + tree_layers.ml | 17 +- util.ml| 68 ++- version.mli| 4 +- version.txt| 2 +- 37 files changed, 1668 insertions(+), 574 deletions(-) delete mode 100644 .cvsignore create mode 100644 compatibility delete mode 100644 debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch create mode 100644 prooftree.man.html create mode 100644 test/cycle.v create mode 100644 test/evar_2.v create mode 100644 test/giveup.v -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [prooftree] 01/01: pristine-tar data for prooftree_0.13.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository prooftree. commit 8e178a351c1d0b6062ce05f160fbc2432f249ce0 Author: Hendrik Tews <hend...@askra.de> Date: Tue Jan 3 15:36:30 2017 +0100 pristine-tar data for prooftree_0.13.orig.tar.gz --- prooftree_0.13.orig.tar.gz.delta | Bin 0 -> 1610 bytes prooftree_0.13.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/prooftree_0.13.orig.tar.gz.delta b/prooftree_0.13.orig.tar.gz.delta new file mode 100644 index 000..9428c3a Binary files /dev/null and b/prooftree_0.13.orig.tar.gz.delta differ diff --git a/prooftree_0.13.orig.tar.gz.id b/prooftree_0.13.orig.tar.gz.id new file mode 100644 index 000..50414c8 --- /dev/null +++ b/prooftree_0.13.orig.tar.gz.id @@ -0,0 +1 @@ +3700dbca641dd47ce744c9703007d309a0dc1604 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [prooftree] annotated tag debian/0.13-1 created (now cfb4b7d)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/0.13-1 in repository prooftree. at cfb4b7d (tag) tagging ece0febce920f08ec2b71e00bc2ed3104cd93f48 (commit) replaces debian/0.12-2 tagged by Hendrik Tews on Tue Jan 3 17:03:47 2017 +0100 - Log - prooftree Debian release 0.13-1 -BEGIN PGP SIGNATURE- Version: GnuPG v1 iQIcBAABCgAGBQJYa8tjAAoJEOxoV33tyu5oEZEQAJBTBmvYIAVrfw4szIAkKEFf 4+5sPut7LtqtIzE71R1yeMk8yQjQhTsJXCydgknQHUfLUyi2tmcKMvsl0Qp+TsB9 hH1KbrfDwb3urFKyf/FFWf7pqQ1g1P3iM9+D98WQ0QTE36gPJRbPX+1vl6XoGoL1 L4PLQ1zfMrthNIO9GHZv/WmZvhAp9xD/4MmVEYOKdmdp3b9vRT+bd8WYAD3P6CZ1 Y4RUAVNIgByA0P3quQwuDHLScUYUC6zYsoOHxwzeUKhtYUx2A+R/GYgIuiWikKPp CWhc/Mue0foJ1GcjevkDD6F8jGKMAF/liwIWNKnX1b7119Td4PkmH7gRy6TPhrf1 fZgZqIukTC9w9MYIvVxEtRv2/ZQNB8c/ycldmAhP9WpySY7S3tnLm2C8kdjUafUz dn42lgPsESXeJ6WgwsBJ50OFuSBd+pGAIKdXo2v/g4x6CgQm2K0bQk7W7jI3d5yS i95gb22eO7ctuLdJ9H9+84mVoeuNJxpoKabOj94yjPXq7kP/gEjsYJ9SeASShPt7 dwoh050ltP4vRqp2fcYXUtgheVwmFhorCcZzsPXQixrGCaJuZMLqJBuY7W1xyKpx Gc6QQ4NgDDeJ5Mba4bsoQ5jt2/IZN+yZCVs2j5w0AArrCjdTflB2rkASy17VGaqQ 1l8zMiQxSUoLuYfQ3ENr =iTAJ -END PGP SIGNATURE- Hendrik Tews (3): Imported Upstream version 0.13 Merge tag 'upstream/0.13' update packaging --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [prooftree] branch upstream updated (2dd7896 -> e7a7642)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository prooftree. from 2dd7896 Imported Upstream version 0.12 new e7a7642 Imported Upstream version 0.13 The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: .cvsignore => .gitignore | 4 + ChangeLog| 118 ++ INSTALL | 2 +- Makefile.in | 8 +- README | 6 +- about_window.ml | 4 +- changes.html | 16 +- compatibility| 7 + configuration.ml | 584 +-- configure| 4 +- coq.ml | 6 +- draw_tree.ml | 143 ++-- emacs_commands.ml| 4 +- ext_dialog.ml| 10 +- gtk_ext.ml | 4 +- help_window.ml | 80 +-- input.ml | 131 --- input.mli| 4 +- main.ml | 33 ++- node_window.ml | 134 +-- proof_tree.ml| 56 +++-- proof_tree.mli | 4 +- proof_window.ml | 29 ++- prooftree.1 | 59 +++-- prooftree.man.html | 561 + test/cycle.v | 17 ++ test/evar_2.v| 17 ++ test/giveup.v| 11 + tree_layers.ml | 17 +- util.ml | 68 +++--- version.mli | 4 +- version.txt | 2 +- 32 files changed, 1647 insertions(+), 500 deletions(-) rename .cvsignore => .gitignore (87%) create mode 100644 compatibility create mode 100644 prooftree.man.html create mode 100644 test/cycle.v create mode 100644 test/evar_2.v create mode 100644 test/giveup.v -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] annotated tag debian/4.02.2-2 created (now 5fd98d9)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/4.02.2-2 in repository otags. at 5fd98d9 (tag) tagging 635f74b61d29af04510750eade9f1adb3c6b3af5 (commit) replaces debian/4.02.2-1 tagged by Hendrik Tews on Sun Jan 1 16:17:22 2017 +0100 - Log - otags Debian release 4.02.2-2 -BEGIN PGP SIGNATURE- Version: GnuPG v1 iQIcBAABCgAGBQJYaR2CAAoJEOxoV33tyu5oVMQQAM4HDLCpXvEG/7EvbDPNg8qA w6i02T0mKA2t5oxz1rZDzEW8lYCHCAkGVqKf300UxqTX9XjEmAr98P2rO9Tl97kP xsk2yUseCNSmlUmbDZ0V/7WkPwDQjwJG+mdWS+s630Yl7oJNP/GacNA6uN6LBgRG Lfe5XLB2yUgK6FXaayMg+yLVYhU3NG+qWrobEQ1nyrMykSoK0j4SdaXutTevm1P2 xy7eykSmE+Wt4Qt0UMgsJZx1ACEkgbewE7JOipCVeSzfMfxUmHr5AOrLuMYcjEL7 UTz8Gd74CPKNTtUZq4wxMp5CI3/wskZzJ7xk6dg799BpaJ5d7Di4/xiGe8vBtHVB Q/VMBC16UvrmiVfQY9uXYYvemF2Sy5JqYFu/47gnz2VdGoeNxs7AbHV8leI8QR/M F0WIyWJksO7NrCWhLoNNjrdCcXpi3hEiL85Th9AnUEWnOuj/T6SOrQOWIYK+O2/p CtK0mql6o9CzgEVK8k4y7H4E8ssj9uAw7hnr9nB60T5JpVEsJ9ArOxme32DUhsCG fFeOoPeXsEfyGmJzA/xJu4zoIcFsro5R6GFym//Dlvo5mPZ0r4T5zfPNCJt5udhO 9vc9x/NHyTOtM0ZHOlGI3ZJpN4qTsE+R+B5bukMoQWMz/RtexJ9DDltOlMh+hi2Y olGGon77yWckc68psK6g =1jCe -END PGP SIGNATURE- Hendrik Tews (2): build and test without libsexplib-camlp4-dev fix 3 lintian warnings --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 01/01: fix 3 lintian warnings
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 635f74b61d29af04510750eade9f1adb3c6b3af5 Author: Hendrik Tews <hend...@askra.de> Date: Sun Jan 1 15:59:42 2017 +0100 fix 3 lintian warnings --- debian/changelog | 3 ++- debian/control | 8 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/debian/changelog b/debian/changelog index c445272..e81fb98 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,8 +2,9 @@ otags (4.02.2-2) unstable; urgency=medium * drop libsexplib-camlp4-dev from build dependencies (Closes: 843319) * add patch disable-sexplib-tests to disable the sexplib tests + * fix 3 lintian warnings - -- Hendrik Tews <hend...@askra.de> Sun, 01 Jan 2017 00:37:56 +0100 + -- Hendrik Tews <hend...@askra.de> Sun, 01 Jan 2017 15:57:38 +0100 otags (4.02.2-1) unstable; urgency=medium diff --git a/debian/control b/debian/control index 9bea605..75a0653 100644 --- a/debian/control +++ b/debian/control @@ -12,10 +12,10 @@ Build-Depends: dh-ocaml (>= 0.9~), camlp4 (>= 4.02), cppo -Standards-Version: 3.9.5 +Standards-Version: 3.9.8 Homepage: http://askra.de/software/otags/ -Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/otags.git -Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/otags.git +Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/otags.git +Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/otags.git Package: otags Architecture: any @@ -28,5 +28,5 @@ Description: tags file generator for OCaml Otags generates "tags" files for emacs and vi/vim to give these editors the ability to directly jump to function and value definitions. Otags is based on Camlp4. It can load all Camlp4 syntax - extentions and can therefore parse all sources that Camlp4 can parse + extensions and can therefore parse all sources that Camlp4 can parse (including standard and revised syntax). -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] branch master updated (475812b -> 635f74b)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository otags. from 475812b build and test without libsexplib-camlp4-dev new 635f74b fix 3 lintian warnings The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: debian/changelog | 3 ++- debian/control | 8 2 files changed, 6 insertions(+), 5 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 01/01: build and test without libsexplib-camlp4-dev
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 475812baa95682d2541385b82126fefa62cf8d37 Author: Hendrik Tews <hend...@askra.de> Date: Sun Jan 1 00:43:05 2017 +0100 build and test without libsexplib-camlp4-dev --- debian/changelog | 7 ++ debian/control | 3 +- debian/patches/disable-sexplib-tests.patch | 102 + debian/patches/series | 1 + 4 files changed, 111 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 5d9e224..c445272 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +otags (4.02.2-2) unstable; urgency=medium + + * drop libsexplib-camlp4-dev from build dependencies (Closes: 843319) + * add patch disable-sexplib-tests to disable the sexplib tests + + -- Hendrik Tews <hend...@askra.de> Sun, 01 Jan 2017 00:37:56 +0100 + otags (4.02.2-1) unstable; urgency=medium * New uptream release (Closes: #802166) diff --git a/debian/control b/debian/control index caa127c..9bea605 100644 --- a/debian/control +++ b/debian/control @@ -11,8 +11,7 @@ Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), camlp4 (>= 4.02), - cppo, - libsexplib-camlp4-dev + cppo Standards-Version: 3.9.5 Homepage: http://askra.de/software/otags/ Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/otags.git diff --git a/debian/patches/disable-sexplib-tests.patch b/debian/patches/disable-sexplib-tests.patch new file mode 100644 index 000..874c144 --- /dev/null +++ b/debian/patches/disable-sexplib-tests.patch @@ -0,0 +1,102 @@ +Description: disable tests with libsexplib +Author: Hendrik Tews <hend...@askra.de> +--- a/Makefile.in b/Makefile.in +@@ -227,9 +227,9 @@ + TESTSOURCES_MLI:= test/c.mli test/e.mli + TESTSOURCES_NORM:= $(TESTSOURCES_ML) $(TESTSOURCES_MLI) + TESTSOURCES_EXT:= test/cpp_i.generated.ml test/cppo_i.generated.ml +-TESTSOURCES_SEXP_ML:= test/f.ml +-TESTSOURCES_SEXP_MLI:= test/g.mli +-TESTSOURCES_SEXP:= $(TESTSOURCES_SEXP_MLI) $(TESTSOURCES_SEXP_ML) ++#TESTSOURCES_SEXP_ML:= test/f.ml ++#TESTSOURCES_SEXP_MLI:= test/g.mli ++#TESTSOURCES_SEXP:= $(TESTSOURCES_SEXP_MLI) $(TESTSOURCES_SEXP_ML) + TESTSOURCES:= $(TESTSOURCES_NORM) $(TESTSOURCES_SEXP) $(TESTSOURCES_EXT) + COMPILEDTESTS:= $(TESTSOURCES_MLI:.mli=.cmi) \ + $(TESTSOURCES_ML:.ml=.cmo) \ +@@ -240,16 +240,14 @@ + + test/test.NEWTAGS: otags-binaries $(TESTSOURCES) + $(MAKE) OCAMLFLAGS="-w a" $(COMPILEDTESTS) +- ./otags -I $(TYPECONVDIR) -I $(SEXPLIBDIR) \ +- -pa pa_type_conv.cma -pa pa_sexp_conv.cma $(TESTSOURCES_SEXP) \ ++ ./otags \ + -pr $(TESTSOURCES_NORM) \ + -extern $(TESTSOURCES_EXT) \ + -o test/test.NEWTAGS + + test/test.newtags: otags-binaries $(TESTSOURCES) + $(MAKE) OCAMLFLAGS="-w a" $(COMPILEDTESTS) +- ./otags -vi -I $(TYPECONVDIR) -I $(SEXPLIBDIR) \ +- -pa pa_type_conv.cma -pa pa_sexp_conv.cma $(TESTSOURCES_SEXP) \ ++ ./otags -vi \ + -pr $(TESTSOURCES_NORM) \ + -extern $(TESTSOURCES_EXT) \ + -o test/test.newtags +--- a/test/test.TAGS b/test/test.TAGS +@@ -1,19 +1,4 @@ + +-test/g.mli,62 +-G1,0 +-type tt1,0 +-type tt_of_sexp1,0 +-type tsexp_of_t1,0 +- +-test/f.ml,149 +-F1,0 +-type tt1,0 +-type t = AA1,0 +-type t = A | BB1,0 +-type t = A | B__t_of_sexp__1,0 +-type t = A | Bt_of_sexp1,0 +-type t = A | Bsexp_of_t1,0 +- + test/a.ml,2834 + A1,0 + let a0a02,1 +--- a/test/test.tags b/test/test.tags +@@ -8,7 +8,6 @@ + @@test/c.mli /^val (@@) : 'a -> 'b -> 'c$/; + A test/a.ml 1; + A test/d.ml /^ | A of int$/; +-A test/f.ml /^type t = A | B with sexp$/; + A1test/d.ml /^ | A1 of b_type$/; + A10 test/a.ml /^exception A10 of int * string$/; + A12 test/a.ml /^module A12 = Int32$/; +@@ -46,7 +45,6 @@ + App test/a.ml /^ | App : ('b -> 'a) a87_term * 'b a87_term -> 'a a87_term$/; + B test/b.ml 1; + B test/d.ml /^ | B | C$/; +-B test/f.ml /^type t = A | B with sexp$/; + B1test/d.ml /^ | B1 of b_type$/; + B2test/d.ml /^ | B2 of a_type$/; + C test/c.mli 1; +@@ -67,12 +65,9 @@ + E test/e.mli 1; + END test/d.ml /^module type END = sig $/; + END test/e.mli /^module type END = sig $/; +-F test/f.ml 1; +-G test/g.mli 1; + Int test/a.ml /^ | Int : int -> int a87_term$/; + Modu test/d.ml /^module Modu =$/; + No_value test/d.ml /^exception No_value$/; +-__t_of_sexp__ test/f.ml /^type t = A | B with sexp$/; + _a69 test/a.ml /^let _a69 = 5$/; + _a70 test/a.ml /^type _a70 = int$/; + a test/d.ml /^type a =$/
[Pkg-ocaml-maint-commits] [otags] branch master updated (c27f42a -> 475812b)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository otags. from c27f42a Release to unstable new 475812b build and test without libsexplib-camlp4-dev The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: debian/changelog | 7 ++ debian/control | 3 +- debian/patches/disable-sexplib-tests.patch | 102 + debian/patches/series | 1 + 4 files changed, 111 insertions(+), 2 deletions(-) create mode 100644 debian/patches/disable-sexplib-tests.patch create mode 100644 debian/patches/series -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 08/08: update changelog
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 64f522d3640ba4fd0094230d2d37953e07d87bde Author: Hendrik Tews hend...@askra.de Date: Fri Aug 30 23:09:15 2013 +0200 update changelog --- debian/changelog |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index cf07d2f..199d812 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -otags (4.00.1-1) experimental; urgency=low +otags (4.00.2-1) experimental; urgency=low * new upstream release * delete type-conf-name patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 03/08: update changelog
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 59bd774085be0f6213bb1787eab520b07a56ca08 Author: Hendrik Tews hend...@askra.de Date: Thu Aug 15 10:10:57 2013 +0200 update changelog --- debian/changelog |6 ++ 1 file changed, 6 insertions(+) diff --git a/debian/changelog b/debian/changelog index 96371c3..ad01013 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +otags (4.00.1-1) experimental; urgency=low + + * new upstream release + + -- Hendrik Tews hend...@askra.de Thu, 15 Aug 2013 10:07:47 +0200 + otags (3.12.5-2) unstable; urgency=low * update Vcs fields -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 06/08: Imported Upstream version 4.00.2
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit acd1acaa1816a46ef620b9aefefca50fb047dd70 Author: Hendrik Tews hend...@askra.de Date: Fri Aug 30 22:52:52 2013 +0200 Imported Upstream version 4.00.2 --- ChangeLog| 16 configure|4 ++-- doc/changes.html | 10 +- doc/otags.1 |6 +++--- doc/otags.html |8 test/test.TAGS |4 ++-- test/test.tags |2 +- 7 files changed, 37 insertions(+), 13 deletions(-) diff --git a/ChangeLog b/ChangeLog index d629331..f5a13cb 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,19 @@ +2013-08-22 Hendrik Tews ot...@askra.de + + * prepare doc/changes.html for release + +2013-08-22 Hendrik Tews t...@os.inf.tu-dresden.de + + * update test data for sexplib changes + +2012-12-05 Hendrik Tews t...@os.inf.tu-dresden.de + + * fix exist status in man page + +2012-12-05 Hendrik Tews ot...@askra.de + + * release version 4.00.1 on 2012-12-05 12:25:26 UTC + 2012-12-05 Hendrik Tews t...@os.inf.tu-dresden.de * commit test data diff --git a/configure b/configure index 6788364..c8bb854 100755 --- a/configure +++ b/configure @@ -23,14 +23,14 @@ # along with Otags reloaded. If not, see # http://www.gnu.org/licenses/. # -# $Id: configure,v 1.22 2012/12/05 09:29:31 tews Exp $ +# $Id: configure,v 1.23 2012/12/05 12:25:53 tews Exp $ # ## set -e REQUIRED_OCAML_VERSION=4.00 -OTAGS_VERSION=1 +OTAGS_VERSION=2 root=/usr/local bindir=$root/bin diff --git a/doc/changes.html b/doc/changes.html index 471ebc6..f11b66a 100644 --- a/doc/changes.html +++ b/doc/changes.html @@ -33,6 +33,14 @@ pre { ! - /UL -- +DT2013-08-22: otags 4.00.2 released +DD +ULminor test bugfix +LI +P/P +/LI +/UL + DT2012-12-05: otags 4.00.1 released DD UL @@ -135,7 +143,7 @@ HREF=http://caml.inria.fr/mantis/view.php?id=5159; #5159/A HR noshade size=2 FONT SIZE=-2 last changed on -!-- hhmts start -- 5 Dec 2012 +!-- hhmts start --22 Aug 2013 !-- hhmts end -- by A HREF=/index.html.enHendrik/A /FONT/BODY /HTML diff --git a/doc/otags.1 b/doc/otags.1 index 591ca46..bfca638 100644 --- a/doc/otags.1 +++ b/doc/otags.1 @@ -602,9 +602,9 @@ a parse error or some other error occurred and .B otags skipped the affected file .IP 2 -absurd command line arguments caused -.B otags -to terminate prematurely +a fatal error caused +.B otags +to abort .IP 3 some bug caused a crash, from which .B otags diff --git a/doc/otags.html b/doc/otags.html index bdf249e..abea5fb 100644 --- a/doc/otags.html +++ b/doc/otags.html @@ -826,10 +826,10 @@ a parse error or some other error occurred and skipped the affected file DT2DD -absurd command line arguments caused -Botags/B +a fatal error caused +Botags /B -to terminate prematurely +to abort DT3DD some bug caused a crash, from which Botags/B @@ -953,6 +953,6 @@ Hendrik Tews lt;otags at askra.degt; This document was created by A HREF=http://www.nongnu.org/man2html/;man2html/A, using the manual pages.BR -Time: 12:23:35 GMT, December 05, 2012 +Time: 11:42:07 GMT, August 22, 2013 /BODY /HTML diff --git a/test/test.TAGS b/test/test.TAGS index 813ecc3..6eec9e7 100644 --- a/test/test.TAGS +++ b/test/test.TAGS @@ -1,10 +1,10 @@ -test/f.ml,147 +test/f.ml,149 F1,0 type tt1,0 type t = AA1,0 type t = A | BB1,0 -type t = A | Bt_of_sexp__1,0 +type t = A | B__t_of_sexp__1,0 type t = A | Bt_of_sexp1,0 type t = A | Bsexp_of_t1,0 diff --git a/test/test.tags b/test/test.tags index bfeafdf..79c4902 100644 --- a/test/test.tags +++ b/test/test.tags @@ -64,6 +64,7 @@ F test/f.ml 1; Inttest/a.ml /^ | Int : int - int a87_term$/; Modu test/d.ml /^module Modu =$/; No_value test/d.ml /^exception No_value$/; +__t_of_sexp__ test/f.ml /^type t = A | B with sexp$/; _a69 test/a.ml /^let _a69 = 5$/; _a70 test/a.ml /^type _a70 = int$/; a test/d.ml /^type a =$/; @@ -184,7 +185,6 @@ set test/e.mli /^ method set : 'a - unit$/; sexp_of_t test/f.ml /^type t = A | B with sexp$/; t test/f.ml /^type t = A | B with sexp$/; t_of_sexp test/f.ml /^type t = A | B with sexp$/; -t_of_sexp__test/f.ml /^type t = A | B with sexp$/; tx test/a.ml /^ type tx$/; tx test/a.ml /^type tx = int$/; tx test/a.ml /^ type tx = int$/; -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 05/08: update build dependencies
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 99fe137678c1bd50b42b4d9c683f032283c6ef05 Author: Hendrik Tews hend...@askra.de Date: Thu Aug 15 10:24:52 2013 +0200 update build dependencies --- debian/changelog |3 ++- debian/control |5 ++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/debian/changelog b/debian/changelog index 2b05a8f..cf07d2f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,8 +2,9 @@ otags (4.00.1-1) experimental; urgency=low * new upstream release * delete type-conf-name patch + * update build dependencies - -- Hendrik Tews hend...@askra.de Thu, 15 Aug 2013 10:15:04 +0200 + -- Hendrik Tews hend...@askra.de Thu, 15 Aug 2013 10:22:59 +0200 otags (3.12.5-2) unstable; urgency=low diff --git a/debian/control b/debian/control index f988351..7e179d2 100644 --- a/debian/control +++ b/debian/control @@ -8,12 +8,11 @@ Uploaders: Stéphane Glondu glo...@debian.org, Hendrik Tews hend...@askra.de Build-Depends: - ocaml-nox (= 3.11.1-3~), ocaml-best-compilers, debhelper (= 9), dh-ocaml (= 0.9~), - camlp4-extra (= 3.12.1), - camlp4-extra ( 3.13), + camlp4-extra (= 4.00), + camlp4-extra ( 4.01), libsexplib-camlp4-dev Standards-Version: 3.9.4 Homepage: http://askra.de/software/otags/ -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 04/08: delete type conf name patch
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 9afaacee1c9c02508082d5b323646927e9c262e8 Author: Hendrik Tews hend...@askra.de Date: Thu Aug 15 10:15:54 2013 +0200 delete type conf name patch --- debian/changelog|3 ++- debian/patches/series |1 - debian/patches/type-conf-name.patch | 16 3 files changed, 2 insertions(+), 18 deletions(-) diff --git a/debian/changelog b/debian/changelog index ad01013..2b05a8f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,9 @@ otags (4.00.1-1) experimental; urgency=low * new upstream release + * delete type-conf-name patch - -- Hendrik Tews hend...@askra.de Thu, 15 Aug 2013 10:07:47 +0200 + -- Hendrik Tews hend...@askra.de Thu, 15 Aug 2013 10:15:04 +0200 otags (3.12.5-2) unstable; urgency=low diff --git a/debian/patches/series b/debian/patches/series index e79a503..1bb8bf6 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1 @@ # empty -type-conf-name.patch diff --git a/debian/patches/type-conf-name.patch b/debian/patches/type-conf-name.patch deleted file mode 100644 index 7cb4b26..000 --- a/debian/patches/type-conf-name.patch +++ /dev/null @@ -1,16 +0,0 @@ -Description: update type-conv name -Author: Hendrik Tews hend...@askra.de a/configure -+++ b/configure -@@ -286,9 +286,9 @@ - typeconvdir=$ocaml_lib_dir/sexplib - sexpdir=$ocaml_lib_dir/type-conv - else --if ocamlfind query type-conv /dev/null ; then -+if ocamlfind query type_conv /dev/null ; then - if ocamlfind query sexplib /dev/null ; then -- typeconvdir=$(ocamlfind query type-conv) -+ typeconvdir=$(ocamlfind query type_conv) - sexpdir=$(ocamlfind query sexplib) - else - typeconvdir= -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 02/08: Merge tag 'upstream/4.00.1'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 806cb68ee3356dcbf5e98f0b7bb95e56c41a234e Merge: 324cfaf 14c80b2 Author: Hendrik Tews hend...@askra.de Date: Thu Aug 15 10:04:44 2013 +0200 Merge tag 'upstream/4.00.1' Upstream version 4.00.1 ChangeLog | 30 + INSTALL|6 ++--- Makefile.in|2 +- add_quotation.ml |2 +- add_quotation.mli |2 +- camlp4_names.ml|2 +- camlp4_names.mli |2 +- conf.mli |2 +- configure | 12 - doc/changes.html | 15 --- doc/otags.1| 38 +- doc/otags.html | 63 emacs.ml |2 +- emacs.mli |2 +- global.ml |2 +- global.mli |2 +- misc.ml|2 +- misc.mli |2 +- monitor_line_directive.ml |2 +- monitor_line_directive.mli |2 +- otags.ml | 10 --- parser_factory.ml |2 +- parser_factory.mli |2 +- parser_hints.ml|2 +- parser_hints.mli |2 +- reparse.ml |2 +- reparse.mli|2 +- source_channel.ml |2 +- source_channel.mli |2 +- tags.ml| 49 +++--- tags.mli |2 +- test/a.ml | 11 test/d.ml |2 +- test/test.TAGS | 21 +-- test/test.tags |5 translate_location.ml |2 +- translate_location.mli |2 +- types.ml |2 +- types.mli |2 +- util/dump-camlp4.ml| 12 - vi.ml |2 +- vi.mli |2 +- 42 files changed, 219 insertions(+), 113 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] branch master updated (324cfaf - 64f522d)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository otags. from 324cfaf apapt to type-conv renaming new 14c80b2 Imported Upstream version 4.00.1 new 806cb68 Merge tag 'upstream/4.00.1' new 59bd774 update changelog new 9afaace delete type conf name patch new 99fe137 update build dependencies new acd1aca Imported Upstream version 4.00.2 new 501074d Merge tag 'upstream/4.00.2' new 64f522d update changelog The 8 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. Summary of changes: ChangeLog | 46 +++ INSTALL |6 +-- Makefile.in |2 +- add_quotation.ml|2 +- add_quotation.mli |2 +- camlp4_names.ml |2 +- camlp4_names.mli|2 +- conf.mli|2 +- configure | 12 +++--- debian/changelog|8 debian/control |5 +-- debian/patches/series |1 - debian/patches/type-conf-name.patch | 16 doc/changes.html| 23 ++-- doc/otags.1 | 44 +++--- doc/otags.html | 69 --- emacs.ml|2 +- emacs.mli |2 +- global.ml |2 +- global.mli |2 +- misc.ml |2 +- misc.mli|2 +- monitor_line_directive.ml |2 +- monitor_line_directive.mli |2 +- otags.ml| 10 +++-- parser_factory.ml |2 +- parser_factory.mli |2 +- parser_hints.ml |2 +- parser_hints.mli|2 +- reparse.ml |2 +- reparse.mli |2 +- source_channel.ml |2 +- source_channel.mli |2 +- tags.ml | 49 +++-- tags.mli|2 +- test/a.ml | 11 ++ test/d.ml |2 +- test/test.TAGS | 25 - test/test.tags |7 +++- translate_location.ml |2 +- translate_location.mli |2 +- types.ml|2 +- types.mli |2 +- util/dump-camlp4.ml | 12 +- vi.ml |2 +- vi.mli |2 +- 46 files changed, 262 insertions(+), 142 deletions(-) delete mode 100644 debian/patches/type-conf-name.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] annotated tag upstream/4.00.2 created (now 3a02d78)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/4.00.2 in repository otags. at 3a02d78 (tag) tagging acd1acaa1816a46ef620b9aefefca50fb047dd70 (commit) replaces upstream/4.00.1 tagged by Hendrik Tews on Fri Aug 30 22:52:52 2013 +0200 - Log - Upstream version 4.00.2 Hendrik Tews (1): Imported Upstream version 4.00.2 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] branch upstream updated (12f9bf6 - acd1aca)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository otags. from 12f9bf6 Imported Upstream version 3.12.5 new 14c80b2 Imported Upstream version 4.00.1 new acd1aca Imported Upstream version 4.00.2 The 2 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. Summary of changes: ChangeLog | 46 + INSTALL|6 ++-- Makefile.in|2 +- add_quotation.ml |2 +- add_quotation.mli |2 +- camlp4_names.ml|2 +- camlp4_names.mli |2 +- conf.mli |2 +- configure | 12 doc/changes.html | 23 +-- doc/otags.1| 44 ++-- doc/otags.html | 69 emacs.ml |2 +- emacs.mli |2 +- global.ml |2 +- global.mli |2 +- misc.ml|2 +- misc.mli |2 +- monitor_line_directive.ml |2 +- monitor_line_directive.mli |2 +- otags.ml | 10 --- parser_factory.ml |2 +- parser_factory.mli |2 +- parser_hints.ml|2 +- parser_hints.mli |2 +- reparse.ml |2 +- reparse.mli|2 +- source_channel.ml |2 +- source_channel.mli |2 +- tags.ml| 49 +-- tags.mli |2 +- test/a.ml | 11 +++ test/d.ml |2 +- test/test.TAGS | 25 +--- test/test.tags |7 - translate_location.ml |2 +- translate_location.mli |2 +- types.ml |2 +- types.mli |2 +- util/dump-camlp4.ml| 12 +++- vi.ml |2 +- vi.mli |2 +- 42 files changed, 252 insertions(+), 122 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] annotated tag debian/4.00.2-1 created (now 36d6d38)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/4.00.2-1 in repository otags. at 36d6d38 (tag) tagging 64f522d3640ba4fd0094230d2d37953e07d87bde (commit) replaces debian/3.12.5-2 tagged by Hendrik Tews on Fri Aug 30 23:12:41 2013 +0200 - Log - Debian release 4.00.2-1 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAABCAAGBQJSIQrJAAoJEOxoV33tyu5oLxEQALq5UklCDFkY6usNaeSDd4EE cNc3HwU7u5UZWlX5R4lA2q9T8GSHITH4FYuwijU+dEfVW1LDn5lE7pt/MT2EJnHo udVO0xpCr4cP+tJjECEZmeV8I4Y/03kAQEkOseNwPE8+iw8NwrxJ6iDZvCCI5cya y00aprUl1QLRhzT5alNzIF8sCEvctjA3EmKiSNxwRzn/hBQxVshef3EwVrp6FHTI yxpHG304gKZhmZ869DEsWG4rb9VaJgCq//CdpPyLwHE3JiSIqZEbK/qdkXlz8Xyv Mh/GRqzOfTYuH5RL4NUhsGydQcLb0HMTrepjUXl5frZCeNhWJkbQqYWerVGnos/0 lMOg3mR5x8LBv4IZDwxLaMKi/qcerTNJBCP+uqhv8DZxJWUyj1BLO8KK4pPLg+wN lpNR4zF0RvZzAd2ZyxUvDatVLNwdObCVNvLwXLmr+bOK6dBibpfZncKipXbk97al EgomsrcGUBc6bh5W7v8jc2c350dVpoNpXuwz8w8bCOKhm5uoIcJc5kJ+WdW8mOzI GFZYlvWowZPldF0VXy01Z3GSJGGJjNuWHROYQgevPwVJx4DeDGpJ05m6zk3Cw626 wk116uvuEV8+qQRX0U4CPqOnJiXP+IWYR24PAOThxvSqSY58GhHB6A0tCEcQMVRK 3cL0aiL+OwEZKb5V+8hQ =vJum -END PGP SIGNATURE- Hendrik Tews (8): Imported Upstream version 4.00.1 Merge tag 'upstream/4.00.1' update changelog delete type conf name patch update build dependencies Imported Upstream version 4.00.2 Merge tag 'upstream/4.00.2' update changelog --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] branch pristine-tar updated (f0f5f95 - 6173ad3)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository otags. from f0f5f95 pristine-tar data for otags_3.12.5.orig.tar.gz new ee39666 pristine-tar data for otags_4.00.1.orig.tar.gz new 6173ad3 pristine-tar data for otags_4.00.2.orig.tar.gz The 2 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. Summary of changes: otags_4.00.1.orig.tar.gz.delta | Bin 0 - 2916 bytes otags_4.00.1.orig.tar.gz.id|1 + otags_4.00.2.orig.tar.gz.delta | Bin 0 - 2950 bytes otags_4.00.2.orig.tar.gz.id|1 + 4 files changed, 2 insertions(+) create mode 100644 otags_4.00.1.orig.tar.gz.delta create mode 100644 otags_4.00.1.orig.tar.gz.id create mode 100644 otags_4.00.2.orig.tar.gz.delta create mode 100644 otags_4.00.2.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] annotated tag upstream/4.00.1 created (now a7af1ef)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/4.00.1 in repository otags. at a7af1ef (tag) tagging 14c80b2cea2281cfadc85d9494497154968d3efc (commit) replaces upstream/3.12.5 tagged by Hendrik Tews on Thu Aug 15 10:04:44 2013 +0200 - Log - Upstream version 4.00.1 Hendrik Tews (1): Imported Upstream version 4.00.1 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 02/02: pristine-tar data for otags_4.00.2.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository otags. commit 6173ad3463cf84a6624d826a125a72461a4e1542 Author: Hendrik Tews hend...@askra.de Date: Fri Aug 30 22:52:52 2013 +0200 pristine-tar data for otags_4.00.2.orig.tar.gz --- otags_4.00.2.orig.tar.gz.delta | Bin 0 - 2950 bytes otags_4.00.2.orig.tar.gz.id|1 + 2 files changed, 1 insertion(+) diff --git a/otags_4.00.2.orig.tar.gz.delta b/otags_4.00.2.orig.tar.gz.delta new file mode 100644 index 000..fd15ba7 Binary files /dev/null and b/otags_4.00.2.orig.tar.gz.delta differ diff --git a/otags_4.00.2.orig.tar.gz.id b/otags_4.00.2.orig.tar.gz.id new file mode 100644 index 000..27e6ca9 --- /dev/null +++ b/otags_4.00.2.orig.tar.gz.id @@ -0,0 +1 @@ +deb821f7f2e22dc4eb32304980a07a26d50953a6 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 07/08: Merge tag 'upstream/4.00.2'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 501074d970b1427f75a097463e40c6ea8870d802 Merge: 99fe137 acd1aca Author: Hendrik Tews hend...@askra.de Date: Fri Aug 30 22:52:52 2013 +0200 Merge tag 'upstream/4.00.2' Upstream version 4.00.2 ChangeLog| 16 configure|4 ++-- doc/changes.html | 10 +- doc/otags.1 |6 +++--- doc/otags.html |8 test/test.TAGS |4 ++-- test/test.tags |2 +- 7 files changed, 37 insertions(+), 13 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 01/02: pristine-tar data for otags_4.00.1.orig.tar.gz
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch pristine-tar in repository otags. commit ee39666520d96c38391871e19c796fb634aa631f Author: Hendrik Tews hend...@askra.de Date: Thu Aug 15 10:04:44 2013 +0200 pristine-tar data for otags_4.00.1.orig.tar.gz --- otags_4.00.1.orig.tar.gz.delta | Bin 0 - 2916 bytes otags_4.00.1.orig.tar.gz.id|1 + 2 files changed, 1 insertion(+) diff --git a/otags_4.00.1.orig.tar.gz.delta b/otags_4.00.1.orig.tar.gz.delta new file mode 100644 index 000..10bd818 Binary files /dev/null and b/otags_4.00.1.orig.tar.gz.delta differ diff --git a/otags_4.00.1.orig.tar.gz.id b/otags_4.00.1.orig.tar.gz.id new file mode 100644 index 000..cb521ed --- /dev/null +++ b/otags_4.00.1.orig.tar.gz.id @@ -0,0 +1 @@ +04b885791a83b4d13a2fdbda5bbd3400ed38c4b7 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/otags.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [otags] 01/08: Imported Upstream version 4.00.1
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 14c80b2cea2281cfadc85d9494497154968d3efc Author: Hendrik Tews hend...@askra.de Date: Thu Aug 15 10:04:43 2013 +0200 Imported Upstream version 4.00.1 --- ChangeLog | 30 + INSTALL|6 ++--- Makefile.in|2 +- add_quotation.ml |2 +- add_quotation.mli |2 +- camlp4_names.ml|2 +- camlp4_names.mli |2 +- conf.mli |2 +- configure | 12 - doc/changes.html | 15 --- doc/otags.1| 38 +- doc/otags.html | 63 emacs.ml |2 +- emacs.mli |2 +- global.ml |2 +- global.mli |2 +- misc.ml|2 +- misc.mli |2 +- monitor_line_directive.ml |2 +- monitor_line_directive.mli |2 +- otags.ml | 10 --- parser_factory.ml |2 +- parser_factory.mli |2 +- parser_hints.ml|2 +- parser_hints.mli |2 +- reparse.ml |2 +- reparse.mli|2 +- source_channel.ml |2 +- source_channel.mli |2 +- tags.ml| 49 +++--- tags.mli |2 +- test/a.ml | 11 test/d.ml |2 +- test/test.TAGS | 21 +-- test/test.tags |5 translate_location.ml |2 +- translate_location.mli |2 +- types.ml |2 +- types.mli |2 +- util/dump-camlp4.ml| 12 - vi.ml |2 +- vi.mli |2 +- 42 files changed, 219 insertions(+), 113 deletions(-) diff --git a/ChangeLog b/ChangeLog index bf20b73..d629331 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,33 @@ +2012-12-05 Hendrik Tews t...@os.inf.tu-dresden.de + + * commit test data + +2012-12-05 Hendrik Tews ot...@askra.de + + * prepare doc/changes.html for release + +2012-12-05 Hendrik Tews t...@os.inf.tu-dresden.de + + * treat camlp4 ast magic number mismatch + * update man page, changes.html + +2012-12-05 Hendrik Tews t...@os.inf.tu-dresden.de + + * OCaml 4.00 + +2012-09-17 Hendrik Tews t...@os.inf.tu-dresden.de + + * try OCaml 4.00 migration, but sexplib is not yet + available, 4.00 specific code is in comments + +2012-09-16 Hendrik Tews t...@os.inf.tu-dresden.de + + * complete pattern match for let patterns + +2012-05-23 Hendrik Tews ot...@askra.de + + * release version 3.12.5 on 2012-05-23 20:19:32 UTC + 2012-05-23 Hendrik Tews ot...@askra.de * prepare doc/changes.html for release diff --git a/INSTALL b/INSTALL index 12a4484..ed23c17 100644 --- a/INSTALL +++ b/INSTALL @@ -27,13 +27,13 @@ The option --ocamllibdir sets the directory in which type-conf/pa_type_conv.cma and sexplib/pa_sexp_conv.cma can be - found if you have the installed and they cannot be found + found if you have them installed and they cannot be found automatically using ocamlfind. [If you want to know the details: The configure script checks for ocamlc and ocamlopt.opt. When the latter is found native compilation -is used. It further check wheter all of ocamldep, camlp4, camlp4of, -camlp4oof, camlp4orf, camlp4rf, camlp4rf, camlp4o and camlp4r and +is used. It further checks wheter all of ocamldep, camlp4, camlp4of, +camlp4oof, camlp4orf, camlp4rf, camlp4rf, camlp4o and camlp4r are installed and have the same version as ocamlc and ocamlopt.opt. The location of the camlp4 executables is hardwired in the executable (via conf.ml.in). The script uses ocamlfind query to determine the diff --git a/Makefile.in b/Makefile.in index a4125c0..691f147 100644 --- a/Makefile.in +++ b/Makefile.in @@ -19,7 +19,7 @@ # along with Otags reloaded. If not, see # http://www.gnu.org/licenses/. # -# $Id: Makefile.in,v 1.30 2012-05-22 13:46:45 tews Exp $ +# $Id: Makefile.in,v 1.30 2012/05/22 13:46:45 tews Exp $ # .PHONY: all diff --git a/add_quotation.ml b/add_quotation.ml index b9701f8..27e2aa6 100644 --- a/add_quotation.ml +++ b/add_quotation.ml @@ -19,7 +19,7 @@ * along with Otags reloaded. If not, see * http://www.gnu.org/licenses/. * - * $Id: add_quotation.ml,v 1.4 2012-01-14 21:31:38 tews Exp $ + * $Id: add_quotation.ml,v 1.4 2012/01/14 21:31:38 tews Exp $ * * higher-order functor for adding quotations to some syntax module * diff --git a/add_quotation.mli b/add_quotation.mli index e5487ed..236850c
[Pkg-ocaml-maint-commits] [hol-light] 02/06: Merge tag 'upstream/20130811'
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit cc7ea96b10e6ecebf0fac1140583c0eccdb2 Merge: e00e75a 68b59a7 Author: Hendrik Tews hend...@askra.de Date: Wed Aug 14 22:04:21 2013 +0200 Merge tag 'upstream/20130811' Upstream version 20130811 100/independence.ml|2 +- CHANGES| 190 + Examples/borsuk.ml |4 +- Help/MATCH_MP_TAC.doc |2 +- Help/TRANS.doc |2 +- Help/TRANS_TAC.doc | 57 + Library/card.ml| 57 +- Library/floor.ml | 54 + Library/iter.ml|5 + Library/products.ml| 15 + Multivariate/canal.ml | 72 +- Multivariate/cauchy.ml | 711 ++- Multivariate/complex_database.ml | 549 ++- Multivariate/complexes.ml |5 + Multivariate/convex.ml | 1134 - Multivariate/cross.ml | 35 +- Multivariate/derivatives.ml| 132 +- Multivariate/determinants.ml | 691 ++- Multivariate/dimension.ml | 636 ++- Multivariate/flyspeck.ml | 708 ++- Multivariate/geom.ml | 46 + Multivariate/integration.ml|2 +- Multivariate/measure.ml| 65 +- Multivariate/multivariate_database.ml | 435 +- Multivariate/paths.ml | 3477 -- Multivariate/polytope.ml | 441 +- Multivariate/realanalysis.ml | 4768 +--- Multivariate/topology.ml | 2090 +++-- Multivariate/transcendentals.ml| 663 ++- Multivariate/vectors.ml| 377 +- RichterHilbertAxiomGeometry/HilbertAxiom_read.ml | 3603 +++ RichterHilbertAxiomGeometry/README | 50 +- .../UniversalPropCartProd.ml | 116 + RichterHilbertAxiomGeometry/error-checking.ml | 137 + .../inverse_bug_puzzle_read.ml | 519 +++ .../{ = miz3}/FontHilbertAxiom.ml | 370 +- .../{ = miz3}/HilbertAxiom.ml | 34 +- RichterHilbertAxiomGeometry/{ = miz3}/Miz3Tips| 18 +- RichterHilbertAxiomGeometry/miz3/README| 22 + .../{ = miz3}/hol-light-fonts.el |0 .../{ = miz3}/hol-light-fonts.elc | Bin 8617 - 8617 bytes RichterHilbertAxiomGeometry/{ = miz3}/make.ml |2 +- RichterHilbertAxiomGeometry/readable.ml| 555 +++ RichterHilbertAxiomGeometry/thmFontHilbertAxiom.ml | 38 +- cart.ml| 26 +- database.ml| 13 + hol.ml |2 + holtest|4 +- int.ml | 16 +- miz3/bin/miz3 |2 +- miz3/miz3.ml |2 +- real.ml| 13 + sets.ml| 59 +- tactics.ml | 17 +- 54 files changed, 20691 insertions(+), 2352 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] 06/06: update copyright
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit 90f4d63880c0aa832b38b98eb187a602329acfaa Author: Hendrik Tews hend...@askra.de Date: Fri Aug 16 11:15:28 2013 +0200 update copyright --- debian/changelog |3 ++- debian/copyright |2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 4a5ce7b..9b80070 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,8 +5,9 @@ hol-light (20130811-1) unstable; urgency=low * refresh patches * delete include-compiler-libs patch (applied upstream) * update elc file path in hol-light-source.exclude + * update copyright - -- Hendrik Tews hend...@askra.de Wed, 14 Aug 2013 22:42:56 +0200 + -- Hendrik Tews hend...@askra.de Wed, 14 Aug 2013 22:45:11 +0200 hol-light (20130511-1) unstable; urgency=low diff --git a/debian/copyright b/debian/copyright index 824a6bc..2602c35 100644 --- a/debian/copyright +++ b/debian/copyright @@ -43,7 +43,7 @@ Comment: There is no license in subdirectory Unity, but Unity/README Files: RichterHilbertAxiomGeometry/* -Copyright: 2012 by Bill Richter +Copyright: 2012, 2013 by Bill Richter License: BSD-2-clause Comment: There is no license in subdirectory RichterHilbertAxiomGeometry, but RichterHilbertAxiomGeometry/README -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] 05/06: update elc path in hol-light-source.exclude
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit 129252ee0dc2e95ef4f8c26fef149f85c75147cf Author: Hendrik Tews hend...@askra.de Date: Fri Aug 16 11:13:09 2013 +0200 update elc path in hol-light-source.exclude --- debian/changelog|3 ++- debian/hol-light-source.exclude |2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 551b330..4a5ce7b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,8 +4,9 @@ hol-light (20130811-1) unstable; urgency=low * fix vcs fields * refresh patches * delete include-compiler-libs patch (applied upstream) + * update elc file path in hol-light-source.exclude - -- Hendrik Tews hend...@askra.de Wed, 14 Aug 2013 22:25:52 +0200 + -- Hendrik Tews hend...@askra.de Wed, 14 Aug 2013 22:42:56 +0200 hol-light (20130511-1) unstable; urgency=low diff --git a/debian/hol-light-source.exclude b/debian/hol-light-source.exclude index 1cdb592..8f6106d 100644 --- a/debian/hol-light-source.exclude +++ b/debian/hol-light-source.exclude @@ -9,4 +9,4 @@ ./QUICK_REFERENCE.txt ./README ./VERYQUICK_REFERENCE.txt -./RichterHilbertAxiomGeometry/hol-light-fonts.elc +./RichterHilbertAxiomGeometry/miz3/hol-light-fonts.elc -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] branch upstream updated (b78aeef - 68b59a7)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch upstream in repository hol-light. from b78aeef Imported Upstream version 20130511 new 68b59a7 Imported Upstream version 20130811 The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. Summary of changes: 100/independence.ml|2 +- CHANGES| 190 + Examples/borsuk.ml |4 +- Help/MATCH_MP_TAC.doc |2 +- Help/TRANS.doc |2 +- Help/TRANS_TAC.doc | 57 + Library/card.ml| 57 +- Library/floor.ml | 54 + Library/iter.ml|5 + Library/products.ml| 15 + Multivariate/canal.ml | 72 +- Multivariate/cauchy.ml | 711 ++- Multivariate/complex_database.ml | 549 ++- Multivariate/complexes.ml |5 + Multivariate/convex.ml | 1134 - Multivariate/cross.ml | 35 +- Multivariate/derivatives.ml| 132 +- Multivariate/determinants.ml | 691 ++- Multivariate/dimension.ml | 636 ++- Multivariate/flyspeck.ml | 708 ++- Multivariate/geom.ml | 46 + Multivariate/integration.ml|2 +- Multivariate/measure.ml| 65 +- Multivariate/multivariate_database.ml | 435 +- Multivariate/paths.ml | 3477 -- Multivariate/polytope.ml | 441 +- Multivariate/realanalysis.ml | 4768 +--- Multivariate/topology.ml | 2090 +++-- Multivariate/transcendentals.ml| 663 ++- Multivariate/vectors.ml| 377 +- RichterHilbertAxiomGeometry/HilbertAxiom_read.ml | 3603 +++ RichterHilbertAxiomGeometry/README | 50 +- .../UniversalPropCartProd.ml | 116 + RichterHilbertAxiomGeometry/error-checking.ml | 137 + .../inverse_bug_puzzle_read.ml | 519 +++ .../{ = miz3}/FontHilbertAxiom.ml | 370 +- .../{ = miz3}/HilbertAxiom.ml | 34 +- RichterHilbertAxiomGeometry/{ = miz3}/Miz3Tips| 18 +- RichterHilbertAxiomGeometry/miz3/README| 22 + .../{ = miz3}/hol-light-fonts.el |0 .../{ = miz3}/hol-light-fonts.elc | Bin 8617 - 8617 bytes RichterHilbertAxiomGeometry/{ = miz3}/make.ml |2 +- RichterHilbertAxiomGeometry/readable.ml| 555 +++ RichterHilbertAxiomGeometry/thmFontHilbertAxiom.ml | 38 +- cart.ml| 26 +- database.ml| 13 + hol.ml |2 + holtest|4 +- int.ml | 16 +- miz3/bin/miz3 |2 +- miz3/miz3.ml |2 +- real.ml| 13 + sets.ml| 59 +- tactics.ml | 17 +- 54 files changed, 20691 insertions(+), 2352 deletions(-) create mode 100644 Help/TRANS_TAC.doc create mode 100644 RichterHilbertAxiomGeometry/HilbertAxiom_read.ml create mode 100644 RichterHilbertAxiomGeometry/UniversalPropCartProd.ml create mode 100644 RichterHilbertAxiomGeometry/error-checking.ml create mode 100644 RichterHilbertAxiomGeometry/inverse_bug_puzzle_read.ml rename RichterHilbertAxiomGeometry/{ = miz3}/FontHilbertAxiom.ml (93%) rename RichterHilbertAxiomGeometry/{ = miz3}/HilbertAxiom.ml (99%) rename RichterHilbertAxiomGeometry/{ = miz3}/Miz3Tips (96%) create mode 100644 RichterHilbertAxiomGeometry/miz3/README rename RichterHilbertAxiomGeometry/{ = miz3}/hol-light-fonts.el (100%) rename RichterHilbertAxiomGeometry/{ = miz3}/hol-light-fonts.elc (100%) rename RichterHilbertAxiomGeometry/{ = miz3}/make.ml (53%) create mode 100644 RichterHilbertAxiomGeometry/readable.ml -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___
[Pkg-ocaml-maint-commits] [hol-light] branch master updated (e00e75a - 90f4d63)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository hol-light. from e00e75a lintian canonical vcs new 68b59a7 Imported Upstream version 20130811 new cc7ea96 Merge tag 'upstream/20130811' new e9531a0 fix debian/changelog new 366cb23 update patches new 129252e update elc path in hol-light-source.exclude new 90f4d63 update copyright The 6 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. Summary of changes: 100/independence.ml|2 +- CHANGES| 190 + Examples/borsuk.ml |4 +- Help/MATCH_MP_TAC.doc |2 +- Help/TRANS.doc |2 +- Help/TRANS_TAC.doc | 57 + Library/card.ml| 57 +- Library/floor.ml | 54 + Library/iter.ml|5 + Library/products.ml| 15 + Multivariate/canal.ml | 72 +- Multivariate/cauchy.ml | 711 ++- Multivariate/complex_database.ml | 549 ++- Multivariate/complexes.ml |5 + Multivariate/convex.ml | 1134 - Multivariate/cross.ml | 35 +- Multivariate/derivatives.ml| 132 +- Multivariate/determinants.ml | 691 ++- Multivariate/dimension.ml | 636 ++- Multivariate/flyspeck.ml | 708 ++- Multivariate/geom.ml | 46 + Multivariate/integration.ml|2 +- Multivariate/measure.ml| 65 +- Multivariate/multivariate_database.ml | 435 +- Multivariate/paths.ml | 3477 -- Multivariate/polytope.ml | 441 +- Multivariate/realanalysis.ml | 4768 +--- Multivariate/topology.ml | 2090 +++-- Multivariate/transcendentals.ml| 663 ++- Multivariate/vectors.ml| 377 +- RichterHilbertAxiomGeometry/HilbertAxiom_read.ml | 3603 +++ RichterHilbertAxiomGeometry/README | 50 +- .../UniversalPropCartProd.ml | 116 + RichterHilbertAxiomGeometry/error-checking.ml | 137 + .../inverse_bug_puzzle_read.ml | 519 +++ .../{ = miz3}/FontHilbertAxiom.ml | 370 +- .../{ = miz3}/HilbertAxiom.ml | 34 +- RichterHilbertAxiomGeometry/{ = miz3}/Miz3Tips| 18 +- RichterHilbertAxiomGeometry/miz3/README| 22 + .../{ = miz3}/hol-light-fonts.el |0 .../{ = miz3}/hol-light-fonts.elc | Bin 8617 - 8617 bytes RichterHilbertAxiomGeometry/{ = miz3}/make.ml |2 +- RichterHilbertAxiomGeometry/readable.ml| 555 +++ RichterHilbertAxiomGeometry/thmFontHilbertAxiom.ml | 38 +- cart.ml| 26 +- database.ml| 13 + debian/changelog | 11 +- debian/copyright |2 +- debian/hol-light-source.exclude|2 +- debian/patches/default-hollight-dir|6 +- debian/patches/holtest-no-proof-recording.patch|2 +- debian/patches/include-compiler-libs.patch | 15 - debian/patches/series |1 - hol.ml |2 + holtest|4 +- int.ml | 16 +- miz3/bin/miz3 |2 +- miz3/miz3.ml |2 +- real.ml| 13 + sets.ml| 59 +- tactics.ml | 17 +- 61 files changed, 20706 insertions(+), 2376 deletions(-) create mode 100644 Help/TRANS_TAC.doc create mode 100644 RichterHilbertAxiomGeometry/HilbertAxiom_read.ml create mode 100644 RichterHilbertAxiomGeometry/UniversalPropCartProd.ml create mode 100644 RichterHilbertAxiomGeometry/error-checking.ml create mode 100644 RichterHilbertAxiomGeometry/inverse_bug_puzzle_read.ml rename RichterHilbertAxiomGeometry/{ =
[Pkg-ocaml-maint-commits] [hol-light] 04/06: update patches
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit 366cb237e587055a4dc7855d4e62f65c91d21b88 Author: Hendrik Tews hend...@askra.de Date: Wed Aug 14 22:26:11 2013 +0200 update patches --- debian/changelog|4 +++- debian/patches/default-hollight-dir |6 -- debian/patches/holtest-no-proof-recording.patch |2 +- debian/patches/include-compiler-libs.patch | 15 --- debian/patches/series |1 - 5 files changed, 8 insertions(+), 20 deletions(-) diff --git a/debian/changelog b/debian/changelog index ffb8637..551b330 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,8 +2,10 @@ 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) - -- Hendrik Tews hend...@askra.de Wed, 14 Aug 2013 22:08:52 +0200 + -- Hendrik Tews hend...@askra.de Wed, 14 Aug 2013 22:25:52 +0200 hol-light (20130511-1) unstable; urgency=low diff --git a/debian/patches/default-hollight-dir b/debian/patches/default-hollight-dir index 4acdbd3..eb1d614 100644 --- a/debian/patches/default-hollight-dir +++ b/debian/patches/default-hollight-dir @@ -2,12 +2,14 @@ Description: configure default HOL Light source directory Author: Hendrik Tews hend...@askra.de --- a/hol.ml +++ b/hol.ml -@@ -11,8 +11,16 @@ +@@ -11,10 +11,18 @@ let hol_version = 2.20++;; -+let debian_hol_light_dir = /usr/share/hol-light ++let debian_hol_light_dir = /usr/share/hol-light;; + + #directory +compiler-libs;; + let hol_dir = ref - (try Sys.getenv HOLLIGHT_DIR with Not_found - Sys.getcwd());; + (try Sys.getenv HOLLIGHT_DIR diff --git a/debian/patches/holtest-no-proof-recording.patch b/debian/patches/holtest-no-proof-recording.patch index c01248e..ec1361f 100644 --- a/debian/patches/holtest-no-proof-recording.patch +++ b/debian/patches/holtest-no-proof-recording.patch @@ -2,7 +2,7 @@ Description: don't build the proof-recording version as part of the test suite Author: Hendrik Tews hend...@askra.de --- a/holtest +++ b/holtest -@@ -165,7 +165,7 @@ +@@ -172,7 +172,7 @@ echo '### Loading 100/wilson.ml'; echo 'loadt 100/wilson.ml;;' | (time $hollight) # Build the proof-recording version of HOL diff --git a/debian/patches/include-compiler-libs.patch b/debian/patches/include-compiler-libs.patch deleted file mode 100644 index 95e4bcc..000 --- a/debian/patches/include-compiler-libs.patch +++ /dev/null @@ -1,15 +0,0 @@ -Description: include compiler-libs dir for OCaml 4 -Author: Hendrik Tews hend...@askra.de a/hol.ml -+++ b/hol.ml -@@ -11,7 +11,9 @@ - - let hol_version = 2.20++;; - --let debian_hol_light_dir = /usr/share/hol-light -+let debian_hol_light_dir = /usr/share/hol-light;; -+ -+#directory +compiler-libs;; - - let hol_dir = ref - (try Sys.getenv HOLLIGHT_DIR diff --git a/debian/patches/series b/debian/patches/series index e0623d1..0c7a73b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,2 @@ default-hollight-dir holtest-no-proof-recording.patch -include-compiler-libs.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] annotated tag upstream/20130811 created (now 7bf88fa)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag upstream/20130811 in repository hol-light. at 7bf88fa (tag) tagging 68b59a782178c90a72d5000a6c320f7af052ab4a (commit) replaces upstream/20130511 tagged by Hendrik Tews on Wed Aug 14 22:04:21 2013 +0200 - Log - Upstream version 20130811 Hendrik Tews (1): Imported Upstream version 20130811 --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20130811-1 created (now 2b34c47)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/20130811-1 in repository hol-light. at 2b34c47 (tag) tagging 90f4d63880c0aa832b38b98eb187a602329acfaa (commit) replaces debian/20130511-1 tagged by Hendrik Tews on Fri Aug 16 12:06:21 2013 +0200 - Log - Debian release 20130811-1 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAABCAAGBQJSDfmdAAoJEOxoV33tyu5o6WgP/jm4xcz26XPoOIe/ClReDMSp BwnCq79pjIFxCNETvko7Izq+eqf+/uq2pt/6hvw9AkUpiuNEGfPMLV7XzI+znCs5 mtjyGwIHSZvyWvsygLkFjsB2XuvgFaBN+9egSDoZNO5pZPK5MWdtvFZtciaKkpIZ YPB6bNRZttLgxOnKQtJ6OrZ+46g26gYartSbFHbRKHqUmSCGJm56tyHmQycA1uU0 DA/U5OtLFucdgycrhMPTWRnaZs+MxgZxqUeZ4Q1mCIvy9cFVje4rerlDdQaEMwAe SiLg+qIxs4eAjRyOB0BJEQNIXRaq8WzfiRmYb5erXRvISKsoO24Ak/zlYcZmOMxH 8B/mcAZH8VsFAuD16x7Ke25mksbhvDNVV8q4qObACjIOvCSuLsLSF/3bgJOZdesP /Ujg5AAfSHiiULIEzA1ASMr+P4nQk7Y1g1J7BGGUBUhKPNw6qqhsJ5+S90g6zJ9r iLl0rjeM6yHKz0nShZtqpAhqTxH9UIcPCg1CpE6PUJ+Nmd8SwskDRKhjKwNa/LJb iqG0TSOKzuMdYoXIdwkHjEkOgJfxxReIEbzbOuUb8NINtAvwB482UoCWzB7IFkkB 8H6ru/hhi6ULyxByrkfb7liRITI3LexS1m7DvaK/vvkXJ5X3rti4+rqc+3R5Il4j SjUim6DCVkgHHM64OxNu =OGG4 -END PGP SIGNATURE- Hendrik Tews (7): lintian canonical vcs Imported Upstream version 20130811 Merge tag 'upstream/20130811' fix debian/changelog update patches update elc path in hol-light-source.exclude update copyright --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] branch pristine-tar updated (cbf5bcd - a9eceb6)
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch pristine-tar in repository hol-light. from cbf5bcd pristine-tar data for hol-light_20130511.orig.tar.gz new a9eceb6 pristine-tar data for hol-light_20130811.orig.tar.gz The 1 revisions listed above as new are entirely new to this repository and will be described in separate emails. The revisions listed as adds were already present in the repository and have only been added to this reference. Summary of changes: hol-light_20130811.orig.tar.gz.delta | Bin 0 - 39636 bytes hol-light_20130811.orig.tar.gz.id|1 + 2 files changed, 1 insertion(+) create mode 100644 hol-light_20130811.orig.tar.gz.delta create mode 100644 hol-light_20130811.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [hol-light] 03/06: fix debian/changelog
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light. commit e9531a0d350d0d3f75553de15c798b93a2baddf3 Author: Hendrik Tews hend...@askra.de Date: Wed Aug 14 22:10:34 2013 +0200 fix debian/changelog --- debian/changelog |7 --- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index cd5a1bc..ffb8637 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,9 @@ -hol-light (20130511-2) unstable; urgency=low +hol-light (20130811-1) unstable; urgency=low - * silent lintian canonical vcs info + * new upstream version revision 170 from 2013-08-11 + * fix vcs fields - -- Hendrik Tews hend...@askra.de Fri, 31 May 2013 22:55:43 +0200 + -- Hendrik Tews hend...@askra.de Wed, 14 Aug 2013 22:08:52 +0200 hol-light (20130511-1) unstable; urgency=low -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits