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

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Nov 2021 08:28:11 +0100 Source: ocaml-ao Architecture: source Version: 0.2.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-ao (0.2.3

ocaml-mtime_1.3.0-1_amd64.changes is NEW

binary:libmtime-ocaml is NEW. binary:libmtime-ocaml-dev is NEW. binary:libmtime-ocaml-dev is NEW. binary:libmtime-ocaml is NEW. source:ocaml-mtime is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had

ocaml-ptime_0.8.5-1_amd64.changes is NEW

binary:libptime-ocaml is NEW. binary:libptime-ocaml-dev is NEW. binary:libptime-ocaml-dev is NEW. binary:libptime-ocaml is NEW. source:ocaml-ptime is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had

[Git][ocaml-team/why3][master] 10 commits: Update debian/watch

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / why3 Commits: 8f80f3f2 by Stephane Glondu at 2021-11-23T10:21:35+01:00 Update debian/watch - - - - - f5f1014f by Stephane Glondu at 2021-11-23T10:21:58+01:00 New upstream version 1.4.0 - - - - - 0fe61915 by Stephane Glondu a

[Git][ocaml-team/why3][upstream] New upstream version 1.4.0

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / why3 Commits: f5f1014f by Stephane Glondu at 2021-11-23T10:21:58+01:00 New upstream version 1.4.0 - - - - - 13 changed files: - − .dockerignore - .merlin.in - CHANGES.md - INSTALL.md - Makefile.in - bench/bench - bench/c

Processing of why3_1.4.0-2_source.changes

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

why3_1.4.0-2_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Nov 2021 08:49:42 +0100 Source: why3 Architecture: source Version: 1.4.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: why3 (1.4.0-2) unst

Re: Architectures supported by the coq package

Hi, Le mercredi 24 novembre 2021 à 08:23 +0100, Stéphane Glondu a écrit : > > 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? It's just a temporary measure ; I hope we'll g

[Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/5.1-2

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

Processing of ppx-deriving_5.1-2_source.changes

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

ppx-deriving_5.1-2_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Nov 2021 11:38:09 +0100 Source: ppx-deriving Architecture: source Version: 5.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ppx-deriving

Bug#1000505: ocaml-dssi FTBFS on most architectures: Error: No rule found for src/dssi.a

Source: ocaml-dssi Version: 0.1.3-1 Severity: serious Tags: ftbfs https://buildd.debian.org/status/logs.php?pkg=ocaml-dssi&ver=0.1.3-1 ... debian/rules override_dh_auto_build make[1]: Entering directory '/<>' dune build -p dssi File "src/dune", line 1, characters 0-260: 1 | (library 2 | (na

Processed: Bug#1000505 marked as pending in ocaml-dssi

Processing control commands: > tag -1 pending Bug #1000505 [src:ocaml-dssi] ocaml-dssi FTBFS on most architectures: Error: No rule found for src/dssi.a Added tag(s) pending. -- 1000505: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1000505 Debian Bug Tracking System Contact ow...@bugs.debia

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

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

Bug#1000505: marked as done (ocaml-dssi FTBFS on most architectures: Error: No rule found for src/dssi.a)

Your message dated Wed, 24 Nov 2021 13:19:06 + with message-id and subject line Bug#1000505: fixed in ocaml-dssi 0.1.3-2 has caused the Debian Bug report #1000505, regarding ocaml-dssi FTBFS on most architectures: Error: No rule found for src/dssi.a to be marked as done. This means that you

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

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

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

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

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

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Nov 2021 13:50:16 +0100 Source: ocaml-dssi Architecture: source Version: 0.1.3-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Closes: 1000505 Changes

Bug#1000520: RM: unison-2.48 -- ROM; obsolete

Package: ftp.debian.org Severity: normal X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org Dear FTP Team, Please remove unison-2.48 from unstable. It is obsolete, and unison-2.51+4.11.1 should be used now. Cheers, -- Stéphane

Re: Building clean packages for coq theories

Le mardi 23 novembre 2021 à 10:09 +0100, Stéphane Glondu a écrit : > > META is usually put in libfoobar-ocaml, as it contains the > information to locate the *.cma and *.cmxs files (this information is > used by anything using findlib as a lib, for example ocsigenserver). Indeed, that's what's th

Re: Building clean packages for coq theories

Le 24/11/2021 à 14:57, Julien Puydt a écrit : >> META is usually put in libfoobar-ocaml, as it contains the >> information to locate the *.cma and *.cmxs files (this information is >> used by anything using findlib as a lib, for example ocsigenserver). > > Indeed, that's what's the policy says. >

Bug#1000004: pcre-ocaml: depends on obsolete pcre3 library

tags 104 + help thanks Hello, Le 18/11/2021 à 12:49, Matthew Vernon a écrit : > Your package still depends on the old, obsolete PCRE3[0] libraries > (i.e. libpcre3-dev). This has been end of life for a while now, and > upstream do not intend to fix any further bugs in it. Accordingly, I > wou

Processed: Re: Bug#1000004: pcre-ocaml: depends on obsolete pcre3 library

Processing commands for cont...@bugs.debian.org: > tags 104 + help Bug #104 [src:pcre-ocaml] pcre-ocaml: depends on obsolete pcre3 library Added tag(s) help. > thanks Stopping processing here. Please contact me if you need assistance. -- 104: https://bugs.debian.org/cgi-bin/bugreport