hanged-By: Hendrik Tews <hend...@askra.de>
Description:
otags - tags file generator for OCaml
Closes: 873234
Changes:
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
hanged-By: Hendrik Tews <hend...@askra.de>
Description:
hol-light - HOL Light theorem prover
Closes: 868606
Changes:
hol-light (20170109-2) unstable; urgency=medium
.
[ Hendrik Tews ]
* add patch camlp5-7 for fixing FTBFS with camlp5-7.01 (Closes: #868606)
* update build dependenc
-ma...@lists.debian.org>
Changed-By: Hendrik Tews <hend...@askra.de>
Description:
coq-doc- documentation for Coq
coq-doc-html - documentation for Coq in html format
coq-doc-pdf - documentation for Coq in pdf format
Closes: 864468
Changes:
coq-doc (8.6-1) unstable; urgency=medium
.
*
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 16 Jan 2017 17:30:55 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.4.1~pre170114-1
Distribution: unstable
Urgency: medium
Maintainer: Hendrik Tews <hend...@askra
hanged-By: Hendrik Tews <hend...@askra.de>
Description:
hol-light - HOL Light theorem prover
Changes:
hol-light (20170109-1) unstable; urgency=low
.
[ Mehdi Dogguy ]
* Update watch file
.
[ Hendrik Tews ]
* Imported Upstream version 20170109
w
hanged-By: Hendrik Tews <hend...@askra.de>
Description:
prooftree - proof-tree visualization for Proof General
Changes:
prooftree (0.13-1) unstable; urgency=medium
.
* Imported Upstream version 0.13
* delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream)
* pu
-By: Hendrik Tews hend...@askra.de
Description:
hol-light - HOL Light theorem prover
Changes:
hol-light (20131026-1) unstable; urgency=low
.
* new upstream version revision 177 from 2013-10-26
* use new pa_j and adjust camlp5 dependencies
* delete executable bit
-By: Hendrik Tews hend...@askra.de
Description:
hol-light - HOL Light theorem prover
Changes:
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
-By: Hendrik Tews hend...@askra.de
Description:
otags - tags file generator for OCaml
Changes:
otags (4.00.2-1) experimental; urgency=low
.
* new upstream release
* delete type-conf-name patch
* update build dependencies
Checksums-Sha1:
0d96def1ad845a9793298c5c14e0cc0a757d9a32 2119
-By: Hendrik Tews hend...@askra.de
Description:
prooftree - proof-tree visualization for Proof General
Closes: 672480
Changes:
prooftree (0.12-1) unstable; urgency=low
.
* Initial release (Closes: #672480)
Checksums-Sha1:
1c939e94fa1de497ce26da4a4b14bf67dfa10d1f 2001 prooftree_0.12-1.dsc
...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libmikmatch-ocaml - camlp4 extension for pattern matching with regexps -
runtime
libmikmatch-ocaml-dev - camlp4 extension for pattern matching with regexps -
development
Changes:
mikmatch (1.0.6-1) unstable; urgency=low
-ma...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libmikmatch-ocaml - camlp4 extension for pattern matching with regexps -
runtime
libmikmatch-ocaml-dev - camlp4 extension for pattern matching with regexps -
development
Changes:
mikmatch (1.0.6-2) experimental
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
liboasis-ocaml - Build-system generation for OCaml projects -- runtime
liboasis-ocaml-dev - Build-system generation for OCaml projects -- development
files
liboasis-ocaml-doc - Architecture
...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libbenchmark-ocaml-dev - OCaml benchmarking library
Changes:
ocaml-benchmark (1.2-1) unstable; urgency=low
.
[ Sylvain Le Gall ]
* Remove Sylvain Le Gall from uploaders
.
[ Hendrik Tews ]
* fix watch file and homepage
-By: Hendrik Tews hend...@askra.de
Description:
otags - tags file generator for OCaml
Closes: 713387
Changes:
otags (3.12.5-2) unstable; urgency=low
.
* update Vcs fields
* add patch for type-conv name change (Closes: #713387)
* bump standards version
Checksums-Sha1
Changed-By: Hendrik Tews hend...@askra.de
Description:
libtophide-ocaml-dev - hide values that start with '_' in OCaml toplevel
Changes:
tophide (1.0.1-1) unstable; urgency=low
.
[ Sylvain Le Gall ]
* Remove Sylvain Le Gall from uploaders
.
[ Hendrik Tews ]
* add watch file
* new
...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libatdgen-ocaml - OCaml code generator for biniou and JSON - plugins
libatdgen-ocaml-dev - OCaml code generator for biniou and JSON - executable
and dev fil
Closes: 711524
Changes:
atdgen (1.2.5-1) unstable; urgency=low
...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libbiniou-ocaml - flexible binary data format in OCaml - plugins
libbiniou-ocaml-dev - flexible binary data format in OCaml - development files
Changes:
biniou (1.0.6-1) unstable; urgency=low
.
[ Sylvain Le Gall
-ma...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libextunix-ocaml - Extended functions for OCaml Unix module (runtime package)
libextunix-ocaml-dev - Extended functions for OCaml Unix module (development
package)
Changes:
ocaml-extunix (0.0.6-1) unstable; urgency
...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libyojson-ocaml - JSON library for OCaml - runtime package
libyojson-ocaml-dev - JSON library for OCaml - development package
Changes:
yojson (1.1.7-1) unstable; urgency=low
.
[ Sylvain Le Gall ]
* Remove Sylvain Le Gall
...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libatd-ocaml - syntax for cross-language data types in OCaml - plugins
libatd-ocaml-dev - syntax for cross-language data types in OCaml - development
files
Changes:
ocaml-atd (1.0.3-1) unstable; urgency=low
.
[ Sylvain Le
...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libfileutils-ocaml-dev - File manipulation for OCaml
Changes:
ocaml-fileutils (0.4.5-2) unstable; urgency=low
.
* delete lintian spelling error override
.
ocaml-fileutils (0.4.5-1) UNRELEASED; urgency=low
.
* silent
Tews hend...@askra.de
Description:
cppo - cpp for OCaml
Closes: 664200
Changes:
cppo (0.9.3-1) unstable; urgency=low
.
[ Sylvain Le Gall]
* Remove Sylvain Le Gall from uploaders
.
[ Hendrik Tews ]
* update watch file (thanks to Bart Martens)
* bump standards version
-ocaml-ma...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libeasy-format-ocaml - easy(ier) pretty printing for OCaml - plugins
libeasy-format-ocaml-dev - easy(ier) pretty printing for OCaml - development
files
Changes:
easy-format (1.0.1-1) unstable; urgency=low
debian-ocaml-ma...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
caml2html - HTML and LaTeX colored syntax from OCaml source files - executabl
libcaml2html-ocaml - HTML and LaTeX colored syntax from OCaml source files -
plugins
libcaml2html-ocaml-dev - HTML and LaTeX
Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
liboasis-ocaml - Build-system generation for OCaml projects -- runtime
liboasis-ocaml-dev - Build-system generation for OCaml projects -- development
files
liboasis-ocaml-doc - Architecture
...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
libfileutils-ocaml-dev - File manipulation for OCaml
Changes:
ocaml-fileutils (0.4.4-1) unstable; urgency=low
.
* update watch file
* new upstream version
* change build system to debhelper/quilt
* bump debhelper compat
Changed-By: Hendrik Tews hend...@askra.de
Description:
libounit-ocaml-dev - Unit testing framework for OCaml
Changes:
ounit (1.1.2-2) unstable; urgency=low
.
* build depend on ocaml-best-compilers for native compilation
* fix FTBFS error on armel
Checksums-Sha1
-By: Hendrik Tews hend...@askra.de
Description:
camlmix- preprocessor which converts text with embedded OCaml
Changes:
camlmix (1.3.1-1) unstable; urgency=low
.
[ Sylvain La Gall ]
* Remove Sylvain Le Gall from uploaders
.
[ Hendrik Tews ]
* fix watch file
* fix copyright file
Changed-By: Hendrik Tews hend...@askra.de
Description:
libuuidm-ocaml-dev - Universally unique identifiers for OCaml
Changes:
uuidm (0.9.5-1) unstable; urgency=low
.
[ Sylvain Le Gall ]
* Remove Sylvain Le Gall from uploaders
.
[ Hendrik Tews ]
* new upstream
* added myself
-By: Hendrik Tews hend...@askra.de
Description:
hol-light - HOL Light theorem prover
Closes: 680494
Changes:
hol-light (20130511-1) unstable; urgency=low
.
* new upstream version revision 162 from 2013-05-11
* fix typo in package description (Closes: #680494)
* set prioity to extra
Changed-By: Hendrik Tews hend...@askra.de
Description:
libounit-ocaml-dev - Unit testing framework for OCaml
Changes:
ounit (1.1.2-1) unstable; urgency=low
.
[ Sylvain Le Gall ]
* Remove Sylvain Le Gall from uploaders
.
[ Hendrik Tews ]
* New upstream release
* install cmx files
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Wed, 15 May 2013 17:11:19 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.3~pre130510-1
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews hend...@askra.de
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 04 Dec 2012 14:50:27 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120605-2
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews hend...@askra.de
Changed
-By: Hendrik Tews hend...@askra.de
Description:
hol-light - HOL Light theorem prover
Changes:
hol-light (20120602-1) unstable; urgency=low
.
* new upstream version revision 146 from 2012-06-02
* remove holtest-dependency-hint patch
* refresh remaining patches
Checksums-Sha1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Wed, 06 Jun 2012 23:12:58 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120605-1
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews hend...@askra.de
Changed
-By: Hendrik Tews hend...@askra.de
Description:
hol-light - HOL Light theorem prover
Changes:
hol-light (20120530-1) unstable; urgency=low
.
* new upstream version revision 141 from 2012-05-30
* remove patches that have been applied upstream:
adapt-holtest-for-debian and pa-j
-By: Hendrik Tews hend...@askra.de
Description:
otags - tags file generator for OCaml
Changes:
otags (3.12.5-1) unstable; urgency=low
.
* new upstream release
* delete bits in dh_auto_clean override that are done by make clean now
* add README for /usr/share/otags/hints
Checksums-Sha1
-By: Hendrik Tews hend...@askra.de
Description:
otags - tags file generator for OCaml
Changes:
otags (3.12.3-1) unstable; urgency=low
.
* new upstream release
* debhelper compat level 9
* standards version 3.9.3
* enable test during build
* overrides for dh_auto_clean, dh_ocaml
-By: Hendrik Tews hend...@askra.de
Description:
hol-light - HOL Light theorem prover
Closes: 663754
Changes:
hol-light (20120423-1) unstable; urgency=low
.
* Initial release (Closes: #663754)
Checksums-Sha1:
ae87464cb654c8abdc227b53db6b431e86a99772 2029 hol-light_20120423-1.dsc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Wed, 25 Apr 2012 22:57:47 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120411-2
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews hend...@askra.de
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 21 Apr 2012 23:28:59 +0200
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120411-1
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews hend...@askra.de
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Tue, 28 Feb 2012 12:53:12 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120206-1
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews hend...@askra.de
Changed
-By: Hendrik Tews hend...@askra.de
Description:
otags - tags file generator for OCaml
Changes:
otags (3.12.2-1) unstable; urgency=low
.
* Imported Upstream version 3.12.2
(which is actually a complete rewrite)
* update packaging for new upstream version
* DEP-5 compatible debian
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Thu, 12 Jan 2012 21:15:51 +0100
Source: proofgeneral
Binary: proofgeneral proofgeneral-doc
Architecture: source all
Version: 4.2~pre120112-1
Distribution: unstable
Urgency: low
Maintainer: Hendrik Tews hend...@askra.de
Changed
45 matches
Mail list logo