Re: Building clean packages for coq theories

Le 22/11/2021 à 09:39, Julien Puydt a écrit : > Say a foobar package provides an executable, an ocaml lib and/or a coq > theories lib, with documentation. Of course the source package will be > foobar, but for the binaries: > > - libfoobar-ocaml (ocaml runtime library, *.cma, *.cmxs) > > - libfoo

Re: Trouble packaging coq-elpi

Hi, Le 22/11/2021 à 10:45, Julien Puydt a écrit : > I'm trying to package coq-elpi (after I packaged elpi [in NEW], and > before I can package hierarchy-builder), but dh_ocaml gives me an error > and I don't get it: > > E: Error: unit Extfun exported in libcoq-elpi-ocaml-dev/libcoq-elpi- > ocaml

[Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20210127.orig.tar.xz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-visitors Commits: 15c0492d by Stephane Glondu at 2021-11-23T09:26:33+01:00 pristine-tar data for ocaml-visitors_20210127.orig.tar.xz - - - - - 2 changed files: - + ocaml-visitors_20210127.orig.tar.xz.delta -

[Git][ocaml-team/ocaml-visitors] Pushed new tag archive/debian/20210127-1

Stéphane Glondu pushed new tag archive/debian/20210127-1 at Debian OCaml Maintainers / ocaml-visitors -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-visitors/-/tree/archive/debian/20210127-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20210127

Stéphane Glondu pushed new tag upstream/20210127 at Debian OCaml Maintainers / ocaml-visitors -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-visitors/-/tree/upstream/20210127 You're receiving this email because of your account on salsa.debian.org.

Processing of ocaml-visitors_20210127-1_source.changes

ocaml-visitors_20210127-1_source.changes uploaded successfully to localhost along with the files: ocaml-visitors_20210127-1.dsc ocaml-visitors_20210127.orig.tar.xz ocaml-visitors_20210127-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-visitors_20210127-1_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 23 Nov 2021 09:59:04 +0100 Source: ocaml-visitors Architecture: source Version: 20210127-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-

[Git][ocaml-team/ocaml-mm] Pushed new tag upstream/0.6.0.2

Kyle Robbertze pushed new tag upstream/0.6.0.2 at Debian OCaml Maintainers / ocaml-mm -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-mm/-/tree/upstream/0.6.0.2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-mm][upstream] New upstream version 0.6.0.2

Kyle Robbertze pushed to branch upstream at Debian OCaml Maintainers / ocaml-mm Commits: a5dcf90c by Kyle Robbertze at 2021-11-22T11:06:48+02:00 New upstream version 0.6.0.2 - - - - - 30 changed files: - CHANGES → CHANGES.md - Makefile.in - − README - + README.md - configure - configure.ac -

[Git][ocaml-team/ocaml-mm][master] 5 commits: New upstream version 0.6.0.2

Kyle Robbertze pushed to branch master at Debian OCaml Maintainers / ocaml-mm Commits: a5dcf90c by Kyle Robbertze at 2021-11-22T11:06:48+02:00 New upstream version 0.6.0.2 - - - - - 32e85121 by Kyle Robbertze at 2021-11-22T11:06:49+02:00 Update upstream source from tag 'upstream/0.6.0.2' Updat

[Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.6.0.2.orig.tar.gz

Kyle Robbertze pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-mm Commits: 3bfa4cc5 by Kyle Robbertze at 2021-11-22T11:06:49+02:00 pristine-tar data for ocaml-mm_0.6.0.2.orig.tar.gz - - - - - 2 changed files: - + ocaml-mm_0.6.0.2.orig.tar.gz.delta - + ocaml-mm_0.6.0.2.ori

Processing of why3_1.4.0-1_source.changes

why3_1.4.0-1_source.changes uploaded successfully to localhost along with the files: why3_1.4.0-1.dsc why3_1.4.0.orig.tar.gz why3_1.4.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

[Git][ocaml-team/ocaml-ao][master] 6 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-ao Commits: 3f55eb78 by Stephane Glondu at 2021-11-23T15:26:20+01:00 Update debian/watch - - - - - ea4a9e78 by Stephane Glondu at 2021-11-23T15:26:38+01:00 New upstream version 0.2.2 - - - - - 5360dc36 by Stephane Glon

[Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.2.orig.tar.gz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-ao Commits: 472caae8 by Stephane Glondu at 2021-11-23T15:26:38+01:00 pristine-tar data for ocaml-ao_0.2.2.orig.tar.gz - - - - - 2 changed files: - + ocaml-ao_0.2.2.orig.tar.gz.delta - + ocaml-ao_0.2.2.orig.ta

[Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.2-1

Stéphane Glondu pushed new tag debian/0.2.2-1 at Debian OCaml Maintainers / ocaml-ao -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-ao/-/tree/debian/0.2.2-1 You're receiving this email because of your account on salsa.debian.org.

why3_1.4.0-1_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 23 Nov 2021 14:26:23 +0100 Source: why3 Architecture: source Version: 1.4.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: why3 (1.4.0-1) unst

[Git][ocaml-team/ocaml-bjack][master] 6 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-bjack Commits: 0bf8bda5 by Stephane Glondu at 2021-11-23T15:33:43+01:00 Update debian/watch - - - - - 60fab032 by Stephane Glondu at 2021-11-23T15:34:07+01:00 New upstream version 0.1.6 - - - - - 6d29a0d5 by Stephane

[Git][ocaml-team/ocaml-bjack][upstream] New upstream version 0.1.6

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / ocaml-bjack Commits: 60fab032 by Stephane Glondu at 2021-11-23T15:34:07+01:00 New upstream version 0.1.6 - - - - - 10 changed files: - + .github/workflows/main.yml - + .gitignore - + .ocamlformat - CHANGES - − Makefile.

[Git][ocaml-team/ocaml-bjack] Pushed new tag debian/0.1.6-1

Stéphane Glondu pushed new tag debian/0.1.6-1 at Debian OCaml Maintainers / ocaml-bjack -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-bjack/-/tree/debian/0.1.6-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-bjack] Pushed new tag upstream/0.1.6

Stéphane Glondu pushed new tag upstream/0.1.6 at Debian OCaml Maintainers / ocaml-bjack -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-bjack/-/tree/upstream/0.1.6 You're receiving this email because of your account on salsa.debian.org.

Processing of ocaml-ao_0.2.2-1_source.changes

ocaml-ao_0.2.2-1_source.changes uploaded successfully to localhost along with the files: ocaml-ao_0.2.2-1.dsc ocaml-ao_0.2.2.orig.tar.gz ocaml-ao_0.2.2-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-ao_0.2.2-1_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 23 Nov 2021 15:30:51 +0100 Source: ocaml-ao Architecture: source Version: 0.2.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-ao (0.2.2

Processing of ocaml-bjack_0.1.6-1_source.changes

ocaml-bjack_0.1.6-1_source.changes uploaded successfully to localhost along with the files: ocaml-bjack_0.1.6-1.dsc ocaml-bjack_0.1.6.orig.tar.gz ocaml-bjack_0.1.6-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-bjack_0.1.6-1_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 23 Nov 2021 15:40:10 +0100 Source: ocaml-bjack Architecture: source Version: 0.1.6-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-bjack (0.

[Git][ocaml-team/ocaml-dssi][master] 6 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-dssi Commits: 6e6bd2e0 by Stephane Glondu at 2021-11-23T16:02:33+01:00 Update debian/watch - - - - - e8b2c75c by Stephane Glondu at 2021-11-23T16:02:56+01:00 New upstream version 0.1.3 - - - - - c78e2db9 by Stephane Gl

[Git][ocaml-team/ocaml-dssi] Pushed new tag upstream/0.1.3

Stéphane Glondu pushed new tag upstream/0.1.3 at Debian OCaml Maintainers / ocaml-dssi -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dssi/-/tree/upstream/0.1.3 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-dssi] Pushed new tag archive/debian/0.1.3-1

Stéphane Glondu pushed new tag archive/debian/0.1.3-1 at Debian OCaml Maintainers / ocaml-dssi -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dssi/-/tree/archive/debian/0.1.3-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-dssi] Pushed new tag debian/0.1.3-1

Stéphane Glondu pushed new tag debian/0.1.3-1 at Debian OCaml Maintainers / ocaml-dssi -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-dssi/-/tree/debian/0.1.3-1 You're receiving this email because of your account on salsa.debian.org.

Processing of ocaml-dssi_0.1.3-1_source.changes

ocaml-dssi_0.1.3-1_source.changes uploaded successfully to localhost along with the files: ocaml-dssi_0.1.3-1.dsc ocaml-dssi_0.1.3.orig.tar.gz ocaml-dssi_0.1.3-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-dssi_0.1.3-1_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 23 Nov 2021 16:07:03 +0100 Source: ocaml-dssi Architecture: source Version: 0.1.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-dssi (0

Bug#1000491: FTBFS with Why3 1.4.0

Source: frama-c Version: 20201209+titanium-4.1 Severity: serious Tags: ftbfs Dear Maintainer, Frama-c FTBFS with Why3 1.4.0: > [...] > File "src/plugins/wp/Why3Provers.ml", line 31, characters 19-61: > 31 | let config = Why3.Whyconf.load_default_config_if_needed config in >

Architectures supported by the coq package

Hi, I've seen you've restricted the Architectures list of the coq package. Is this a temporary measure? Or is Coq definitely dropping support for bytecode architectures? If so, a RM request should be made to remove coq binary packages from these architectures. Cheers, -- Stéphane

[Git][ocaml-team/ocaml-ao][pristine-tar] pristine-tar data for ocaml-ao_0.2.3.orig.tar.gz

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / ocaml-ao Commits: 5ae77938 by Stephane Glondu at 2021-11-24T08:25:20+01:00 pristine-tar data for ocaml-ao_0.2.3.orig.tar.gz - - - - - 2 changed files: - + ocaml-ao_0.2.3.orig.tar.gz.delta - + ocaml-ao_0.2.3.orig.ta

[Git][ocaml-team/ocaml-ao] Pushed new tag archive/debian/0.2.3-1

Stéphane Glondu pushed new tag archive/debian/0.2.3-1 at Debian OCaml Maintainers / ocaml-ao -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-ao/-/tree/archive/debian/0.2.3-1 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/ocaml-ao] Pushed new tag debian/0.2.3-1

Stéphane Glondu pushed new tag debian/0.2.3-1 at Debian OCaml Maintainers / ocaml-ao -- View it on GitLab: https://salsa.debian.org/ocaml-team/ocaml-ao/-/tree/debian/0.2.3-1 You're receiving this email because of your account on salsa.debian.org.

Processing of ocaml-ptime_0.8.5-1_amd64.changes

ocaml-ptime_0.8.5-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-ptime_0.8.5-1.dsc ocaml-ptime_0.8.5.orig.tar.bz2 ocaml-ptime_0.8.5-1.debian.tar.xz libptime-ocaml-dbgsym_0.8.5-1_amd64.deb libptime-ocaml-dev_0.8.5-1_amd64.deb libptime-ocaml_0.8.5-1_amd64.d

Processing of ocaml-ao_0.2.3-1_source.changes

ocaml-ao_0.2.3-1_source.changes uploaded successfully to localhost along with the files: ocaml-ao_0.2.3-1.dsc ocaml-ao_0.2.3.orig.tar.gz ocaml-ao_0.2.3-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ocaml-mtime_1.3.0-1_amd64.changes

ocaml-mtime_1.3.0-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-mtime_1.3.0-1.dsc ocaml-mtime_1.3.0.orig.tar.bz2 ocaml-mtime_1.3.0-1.debian.tar.xz libmtime-ocaml-dbgsym_1.3.0-1_amd64.deb libmtime-ocaml-dev_1.3.0-1_amd64.deb libmtime-ocaml_1.3.0-1_amd64.d