Hello,
On Mon, Jul 17, 2023 at 10:35:24AM +0200, Andreas Beckmann wrote:
> On 17/07/2023 07.16, Helmut Grohne wrote:
> > Then I found trei...@debian.org using edos-file-overwrite. That latter
> > one seems like what I need here. Should we move it to the qa space and
> > drop the edos part? I
On Mon, Nov 23, 2020 at 11:35:17AM +0100, Andreas Tille wrote:
> Hi Paul,
>
> On Sun, Nov 22, 2020 at 10:24:25PM +0100, Paul Gevers wrote:
> > > What I mean when looking at the armhf log[1] this starts with>
> > > autopkgtest [21:45:36]: host ci-worker-armhf-01; command line:
> > >
Hello,
On Sun, May 10, 2020 at 06:57:31AM +, Ivan Shmakov wrote:
> Unless I deeply misunderstand how locales work in Debian,
> I believe that any dependency on the ‘locales’ package is ought
> to be satisfied with locales-all as well.
>
> Could the maintainers of the
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: coq-menhirlib
Version : 20200123-1
Upstream Author : Jacques-Henri Jourdan
* URL : http://gallium.inria.fr/~fpottier/menhir/
* License : LGPL3+
Programming Lang: Coq
Description
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: ocaml-fpath
Version : 0.7.2
Upstream Author : Daniel Bünzli
* URL : https://erratique.ch/software/fpath
* License : ISC
Programming Lang: OCaml
Description : OCaml library
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 27 Jan 2020 03:29:33 +0100
Source: coq
Architecture: source
Version: 8.9.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
coq (8.9.1-4) unstable; urgency
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 24 Jan 2020 21:58:35 +0100
Source: coq
Architecture: source
Version: 8.9.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 920589 946580
Changes:
coq (8.9.1-3
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 21 Jan 2020 08:31:38 +0100
Source: lablgtk3
Architecture: source
Version: 3.0~beta8-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 935870
Changes:
lablgtk3
: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 10 Dec 2019 20:45:41 +0100
Source: ocamlmakefile
Architecture: source
Version: 6.39.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
ocamlmakefile (6.39.2-1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 06 Dec 2019 21:27:01 +0100
Source: tuareg-mode
Architecture: source
Version: 1:2.1.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
tuareg-mode (1:2.1.0-4
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 05 Dec 2019 23:06:05 +0100
Source: ssreflect
Architecture: source
Version: 1.10.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
ssreflect (1.10.0+dfsg-1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 13 Nov 2019 20:56:45 +0100
Source: camlpdf
Architecture: source
Version: 2.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
camlpdf (2.3-2) unstable; urgency
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 12 Nov 2019 21:37:48 +0100
Source: camlpdf
Architecture: source
Version: 2.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 944276
Changes:
camlpdf (2.3-1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 11 Nov 2019 16:10:22 +0100
Source: spamoracle
Architecture: source
Version: 1.6-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 944235
Changes:
spamoracle (1.6
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 10 Nov 2019 19:53:23 +0100
Source: tuareg-mode
Binary: elpa-tuareg tuareg-mode
Architecture: source all
Version: 1:2.1.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 09 Nov 2019 00:11:00 +0100
Source: morsmall
Architecture: source
Version: 0.3.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
morsmall (0.3.0-1) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 09 Nov 2019 07:03:08 +0100
Source: morbig
Architecture: source
Version: 0.10.4-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
morbig (0.10.4-2) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 08 Nov 2019 23:44:46 +0100
Source: morbig
Architecture: source
Version: 0.10.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
morbig (0.10.4-1) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 07 Nov 2019 22:27:13 +0100
Source: camlzip
Architecture: source
Version: 1.09-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 944280
Changes:
camlzip (1.09-2
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 07 Nov 2019 08:53:19 +0100
Source: hevea
Architecture: source
Version: 2.32-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
hevea (2.32-3) unstable; urgency
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 07 Nov 2019 08:10:28 +0100
Source: caml-mode
Architecture: source
Version: 4.06-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 920229
Changes:
caml-mode (4.06
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 03 Nov 2019 22:02:08 +0100
Source: why3
Architecture: source
Version: 1.2.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
why3 (1.2.1-2) unstable; urgency
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 02 Nov 2019 11:51:19 +0100
Source: menhir
Architecture: source
Version: 20190924-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
menhir (20190924-1) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 01 Nov 2019 21:58:13 +0100
Source: camlzip
Architecture: source
Version: 1.09-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
camlzip (1.09-1) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 28 Oct 2019 18:48:39 +0100
Source: why3
Architecture: source
Version: 1.2.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
why3 (1.2.1-1) unstable; urgency
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 15 Oct 2019 20:42:34 +0200
Source: why3
Architecture: source
Version: 1.2.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 942344
Changes:
why3 (1.2.0-3
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 13 Oct 2019 12:14:52 +0200
Source: bibtex2html
Architecture: source
Version: 1.99-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 921278 921593
Changes
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 16 Aug 2019 15:07:50 +0200
Source: caml-mode
Binary: elpa-caml ocaml-mode
Architecture: source all
Version: 4.06-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 29 Aug 2019 21:23:49 +0200
Source: why3
Architecture: source
Version: 1.2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
why3 (1.2.0-2) unstable; urgency
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 26 Aug 2019 09:44:41 +0200
Source: lablgtk3
Architecture: source
Version: 3.0~beta6-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 935611
Changes:
lablgtk3
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 21 Aug 2019 20:44:35 +0200
Source: menhir
Architecture: source
Version: 20190626-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
menhir (20190626-5) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 21 Aug 2019 20:17:35 +0200
Source: menhir
Architecture: source
Version: 20190626-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
menhir (20190626-4) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 20 Aug 2019 09:47:51 +0200
Source: ssreflect
Architecture: source
Version: 1.9.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
ssreflect (1.9.0+dfsg-1
: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
liblablgtk3-ocaml - OCaml bindings to Gtk+ version 3 (runtime)
liblablgtk3-ocaml-dev - OCaml bindings to Gtk+ version 3 (development files)
liblablgtk3-ocaml-doc - OCaml bindings to Gtk+ version 3 (documentation
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 12 Aug 2019 23:06:47 +0200
Source: ocaml-cairo2
Architecture: source
Version: 0.6.1+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
ocaml-cairo2 (0.6.1
libcairo2-ocaml-dev-dbgsym libcairo2-pango-ocaml
libcairo2-pango-ocaml-dbgsym libcairo2-pango-ocaml-dev
libcairo2-pango-ocaml-dev-dbgsym
Architecture: source amd64
Version: 0.6.1+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: caml-mode
Version : recent (*)
Upstream Author : Damien Doligez, Jacques Garrigue, Xavier Leroy, Didier
Remy, Ian T Zimmerman
* URL : https://github.com/ocaml/caml-mode
* License : GPL2
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 27 Jul 2019 10:33:10 -0300
Source: cudf
Architecture: source
Version: 0.7-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
cudf (0.7-5) unstable; urgency=medium
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 26 Jul 2019 16:18:27 -0300
Source: cudf
Architecture: source
Version: 0.7-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
cudf (0.7-4) unstable; urgency=medium
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 25 Jul 2019 15:57:50 -0300
Source: menhir
Architecture: source
Version: 20190626-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
menhir (20190626-3) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 24 Jul 2019 20:26:11 -0300
Source: menhir
Architecture: source
Version: 20190626-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
menhir (20190626-2) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 22 Jul 2019 18:10:49 -0300
Source: ocamldsort
Architecture: source
Version: 0.16.0-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
ocamldsort (0.16.0-6
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
libmenhir-coq - Support library for verified Coq parsers produced by Menhir
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
menhir-doc - Documentation of the Menhir
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 21 Jul 2019 15:19:42 -0300
Source: headache
Architecture: source
Version: 1.03-28
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
headache (1.03-28) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 18 Jul 2019 17:44:52 +0200
Source: mona
Architecture: source
Version: 1.4-17-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
Changed-By: Ralf Treinen
Changes:
mona (1.4-17-2) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 17 Jul 2019 22:52:52 +0200
Source: ocaml-visitors
Architecture: source
Version: 20190711-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
ocaml-visitors
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 17 Jul 2019 21:02:48 +0200
Source: camlzip
Architecture: source
Version: 1.08-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
camlzip (1.08-1) unstable
way. In this particular case the above stanza
should probably be replaced by
mkdir -p /var/lib/sgml-base
which does the right thing silently when it is possible, and fails with
a message otherwise.
Any thoughts? -Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Program
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: ocaml-cairo2
Version : 0.6.1
Upstream Author : Christophe Troestler
* URL : https://github.com/Chris00/ocaml-cairo
* License : LGPL3
Programming Lang: OCaml
Description : OCaml
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 12 Mar 2019 20:52:24 +0100
Source: morsmall
Architecture: source
Version: 0.2.0-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
morsmall (0.2.0-1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 11 Mar 2019 17:14:25 +0100
Source: morbig
Architecture: source
Version: 0.10.3-2
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
morbig (0.10.3-2
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 09 Mar 2019 12:08:31 +0100
Source: morbig
Architecture: source
Version: 0.10.3-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
morbig (0.10.3-1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 18 Feb 2019 20:38:44 +0100
Source: ocaml-visitors
Architecture: source
Version: 20180513-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
ocaml-visitors
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 16 Feb 2019 20:06:49 +0100
Source: ssreflect
Architecture: source
Version: 1.7.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 919461
Changes:
ssreflect
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 15 Feb 2019 08:19:55 +0100
Source: why3
Architecture: source
Version: 1.2.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
why3 (1.2.0-1) unstable; urgency
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 14 Feb 2019 04:21:22 +0100
Source: alt-ergo
Architecture: source
Version: 2.0.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
alt-ergo (2.0.0-3) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 13 Feb 2019 22:40:56 +0100
Source: alt-ergo
Architecture: source
Version: 2.0.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
alt-ergo (2.0.0-2) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 13 Feb 2019 21:02:29 +0100
Source: alt-ergo
Architecture: source
Version: 2.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
alt-ergo (2.0.0-1) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 11 Feb 2019 19:17:43 +0100
Source: ocamlweb
Architecture: source
Version: 1.41-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
ocamlweb (1.41-1) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 06 Feb 2019 20:57:54 +0100
Source: why3
Architecture: source
Version: 1.1.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Closes: 921465
Changes:
why3 (1.1.1-4
Changed-By: Ralf Treinen
Description:
libmorsmall-ocaml-dev - OCaml libraries for abstract syntax of shell scripts
Closes: 920362
Changes:
morsmall (0.1-1) unstable; urgency=medium
.
* Initial packaging (closes: #920362)
Checksums-Sha1:
21265f30f22fed588a24f53a7c039666428abf22 2110 morsmall_0.1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 03 Feb 2019 23:01:38 +0100
Source: why3
Architecture: source
Version: 1.1.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
why3 (1.1.1-3) unstable; urgency
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 29 Jan 2019 07:48:17 +0100
Source: dose3
Architecture: source
Version: 5.0.1-12
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Changes:
dose3 (5.0.1-12) unstable
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Fri, 25 Jan 2019 08:09:34 +0100
Source: advi
Binary: advi advi-examples
Architecture: source
Version: 1.10.2-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: morsmall
Version : 0.1
Upstream Author : Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
* URL : https://github.com/colis-anr/morsmall
* License : GPL3
Programming Lang: OCaml
Maintainers
Changed-By: Ralf Treinen
Description:
libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 09 Jan 2019 17:55:13 +0100
Source: morbig
Binary: libmorbig-ocaml-dev morbig
Architecture: source
Version: 0.9.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
-By: Ralf Treinen
Description:
libbin-prot-ocaml - type-safe binary serialization for OCaml values (runtime)
libbin-prot-ocaml-dev - type-safe binary serialization for OCaml values (dev
files)
Changes:
bin-prot (113.33.03-4) unstable; urgency=medium
.
* Team upload
* Replace build-dependency
Changed-By: Ralf Treinen
Description:
libppx-visitors-ocaml-dev - OCaml syntax extension for object-oriented visitors
libppx-visitors-ocaml-doc - Documentation of the visitors syntax extension for
OCaml
Changes:
ocaml-visitors (20180306-4) unstable; urgency=medium
.
* Standards-Version
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 08 Jan 2019 19:55:38 +0100
Source: ppx-deriving-yojson
Binary: libppx-deriving-yojson-ocaml-dev
Architecture: source
Version: 3.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf
-By: Ralf Treinen
Description:
libppx-deriving-ocaml - type-driven code generation for OCaml (runtime files)
libppx-deriving-ocaml-dev - type-driven code generation for OCaml (dev files)
Changes:
ppx-deriving (4.2.1-3) unstable; urgency=medium
.
* Standards-version 4.3.0 (no change
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 25 Dec 2018 18:44:23 +0100
Source: aspcud
Binary: aspcud
Architecture: source
Version: 1:1.9.4-2
Distribution: unstable
Urgency: medium
Maintainer: Ralf Treinen
Changed-By: Ralf Treinen
Description:
aspcud - CUDF solver
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
liblablgtk3-ocaml - runtime libraries for OCaml bindings for GTK+ version 3
liblablgtk3-ocaml-dev - OCaml bindings to Gtk+ version 3
liblablgtk3-ocaml-doc - OCaml bindings to Gtk
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Mon, 24 Dec 2018 16:17:57 +0100
Source: xdemineur
Binary: xdemineur
Architecture: source
Version: 2.1.1-20
Distribution: unstable
Urgency: medium
Maintainer: Ralf Treinen
Changed-By: Ralf Treinen
Description:
xdemineur - Yet
Maintainers
Changed-By: Ralf Treinen
Description:
libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: lablgtk3
Version : 3.0
Upstream Author : Jacques Garrigue
* URL : http://lablgtk.forge.ocamlcore.org/
* License : LGPL 2.1
Programming Lang: OCaml
Description : OCaml bindings
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 13 Dec 2018 23:08:58 +0100
Source: ocamlweb
Binary: ocamlweb
Architecture: source
Version: 1.40-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
ocamlweb
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 12 Dec 2018 08:34:11 +0100
Source: ocamlwc
Binary: ocamlwc
Architecture: source
Version: 0.3-15
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
ocamlwc
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 11 Dec 2018 21:23:59 +0100
Source: hlins
Binary: hlins
Architecture: source
Version: 0.39-24
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
hlins
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 05 Dec 2018 20:10:40 +0100
Source: hevea
Binary: hevea
Architecture: source
Version: 2.32-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
hevea
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 04 Dec 2018 09:09:09 +0100
Source: bibtex2html
Binary: bibtex2html
Architecture: source
Version: 1.99-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 02 Dec 2018 21:30:09 +0100
Source: morbig
Binary: libmorbig-ocaml-dev morbig
Architecture: source
Version: 0.9.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sun, 09 Sep 2018 21:23:17 +0200
Source: morbig
Binary: libmorbig-ocaml-dev morbig
Architecture: source amd64
Version: 0.9-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 14 Nov 2018 22:14:32 +0100
Source: menhir
Binary: menhir libmenhir-ocaml-dev menhir-doc
Architecture: source
Version: 20181113-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 13 Nov 2018 20:43:44 +0100
Source: alt-ergo
Binary: alt-ergo
Architecture: source
Version: 1.30+dfsg1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
alt
Maintainers
Changed-By: Ralf Treinen
Description:
libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Sat, 20 Oct 2018 12:16:56 +0200
Source: opam
Binary: opam opam-docs opam-installer
Architecture: source
Version: 2.0.0-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
pts!
> AFAIK, Niels Thykier has done a lot of work there, while Ralf
> Treinen and colleagues are analysing maintainer scripts - they
> even wrote a shell script parser, that is not a shell itself.
Indeed, our goal is to do QA on maintainer script and to detect
(possibly) buggy o
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: morbig
Version : 0.9
Upstream Author : Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
* URL : https://github.com/colis-anr/morbig
* License : GPL3
Programming Lang: OCaml
Description
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 15 Aug 2018 18:22:37 +0200
Source: tuareg-mode
Binary: tuareg-mode
Architecture: source
Version: 1:2.1.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Tue, 14 Aug 2018 20:32:33 +0200
Source: mccs
Binary: mccs
Architecture: source
Version: 1:1.1-8
Distribution: unstable
Urgency: medium
Maintainer: Ralf Treinen
Changed-By: Ralf Treinen
Description:
mccs - multi-critera
Maintainers
Changed-By: Ralf Treinen
Description:
libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF
On Thu, Aug 09, 2018 at 11:03:22PM +0200, Wouter Verhelst wrote:
> On Thu, Aug 09, 2018 at 09:48:22PM +0200, Ralf Treinen wrote:
> > You are absolutely right that our assumption about the authors intention
> > may be wrong, and that they really intended the redirection the way
Hello Wouter,
On Tue, Aug 07, 2018 at 12:38:32PM +0200, Wouter Verhelst wrote:
> On Sat, Aug 04, 2018 at 01:15:57PM +0800, Ralf Treinen wrote:
> > Hi,
> >
> > as announced in our talk at debconf'18 [1] we intend a MBF about wrong
> > redirections in mai
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 08 Aug 2018 17:00:49 +0200
Source: hevea-doc
Binary: hevea-doc
Architecture: source all
Version: 2.32-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
hevea
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Wed, 08 Aug 2018 15:47:17 +0200
Source: hevea
Binary: hevea
Architecture: source
Version: 2.32-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf Treinen
Description:
hevea
Hi,
as announced in our talk at debconf'18 [1] we intend a MBF about wrong
redirections in maintainer scripts. In general these are of the form
foo 2>&1 1> /dev/null
Here it was probably intended to send both stderr and stdout to /dev/null.
In reality the effect of this is to send only 1 to
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 19 Jul 2018 22:19:24 +0200
Source: menhir
Binary: menhir libmenhir-ocaml-dev menhir-doc
Architecture: source
Version: 20180530-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Format: 1.8
Date: Thu, 12 Jul 2018 19:30:59 +0200
Source: ppx-deriving-yojson
Binary: libppx-deriving-yojson-ocaml-dev
Architecture: source
Version: 3.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers
Changed-By: Ralf
1 - 100 of 1097 matches
Mail list logo