[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1002983: marked as done (FTBFS with camlp5 8.00.02)

Your message dated Tue, 31 Jan 2023 11:54:53 +0000
with message-id <E1pMpDx-001WB6-UL@fasolo.debian.org>
and subject line Bug#1002983: fixed in hol-light 20230128-1
has caused the Debian Bug report #1002983,
regarding FTBFS with camlp5 8.00.02
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1002983: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002983
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: hol-light
Version: 20190729-4
Severity: important
Tags: ftbfs

Dear Maintainer,

Your package FTBFS with camlp5 8.00.02 with the following error:
> cp: cannot stat 'pa_j_3.1x_8.xx.ml': No such file or directory

This was discovered while preparing the transition to OCaml 4.13.1.

Packages rebuilt with OCaml 4.13.1 are available at:

  https://ocaml.debian.net/transitions/ocaml-4.13.1/


Cheers,

-- 
Stéphane


-- System Information:
Debian Release: bookworm/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.15.0-2-amd64 (SMP w/4 CPU threads)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

--- End Message ---
--- Begin Message --- 
Source: hol-light
Source-Version: 20230128-1
Done: Stéphane Glondu <glondu@debian.org>

We believe that the bug you reported is fixed in the latest version of
hol-light, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1002983@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated hol-light package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 31 Jan 2023 12:10:03 +0100
Source: hol-light
Architecture: source
Version: 20230128-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1002983
Changes:
 hol-light (20230128-1) unstable; urgency=medium
 .
   [ Stéphane Glondu ]
   * Team upload
   * New upstream snapshot (Closes: #1002983)
 .
   [ Debian Janitor ]
   * debian/copyright: use spaces rather than tabs to start continuation lines.
   * Use secure URI in Homepage field.
   * Bump debhelper from old 12 to 13.
     + Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now
       does this.
     + debian/rules: Drop --fail-missing argument to dh_missing, which is now the
       default.
   * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
     Repository-Browse.
   * Update standards version to 4.6.0, no changes needed.
Checksums-Sha1:
 2f78fe0ed6a389fa6e9588922c926ca1445f9c45 1833 hol-light_20230128-1.dsc
 e9003be666264dc341f25208847288a8cfe7153c 7460915 hol-light_20230128.orig.tar.gz
 7ecb42cd8835a8cd32a4d4fd4c9b57b122952d92 10756 hol-light_20230128-1.debian.tar.xz
Checksums-Sha256:
 0cb9358d0d06fcf76811fb72b193f450c77f49bbb889c734b435492c1c01998a 1833 hol-light_20230128-1.dsc
 fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c 7460915 hol-light_20230128.orig.tar.gz
 7d2afacb18ef182c97957ce5a8d5c6d4c502c6f88505d130904c60083e44409c 10756 hol-light_20230128-1.debian.tar.xz
Files:
 47958fa709374018ea1ea4d253693bcc 1833 math optional hol-light_20230128-1.dsc
 c1530f29b8d5f0b7e8812c7cc623f6ed 7460915 math optional hol-light_20230128.orig.tar.gz
 9f9309c94d21a83048e25cfd7c046603 10756 math optional hol-light_20230128-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmPY+IoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB/6gIAJtJA2MqhvRURxqxwOU/MssRl/SSBy8t
ZGNdHpGYdtefYoacb+pMz0NAPf/aAuZHtc/qVJ/DIUcPjkN5lQ+aoU8AD47PD8WT
iE2PpWCHryVYxgPYuCHY1CVzsKMgjB4Y9F+JkDyp8h70IFiTkscIVwTkhpBlWXma
MGZirWdQrGrL0ubD2lzX2hWZAf279vPCUxTsH0bPWO0DxqZTevLJDUQYPc7vLx2Z
xq5hITEnqzhTDAW0oy5R4X6sYMlTKFNHOK99V5eP12JMatC97pliSPlL7orAf0Al
+Qg9LT22TwxHMir2maFsOXCfWjg4uUGymJmKiXX/SiiPeOEp8uA6bVw=
=t91r
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: