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

Bug#944277: marked as done (FTBFS with OCaml 4.08.1 (Error while running external preprocessor))

Your message dated Sun, 29 Dec 2019 12:51:55 +0000
with message-id <E1ilY31-0005pG-1V@fasolo.debian.org>
and subject line Bug#944277: fixed in hol-light 20190729-3
has caused the Debian Bug report #944277,
regarding FTBFS with OCaml 4.08.1 (Error while running external preprocessor)
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.)


-- 
944277: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944277
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: src:hol-light
Version: 20190729-2
Severity: serious
Tags: ftbfs
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml-4.08-transition

Dear Maintainer,

hol-light FTBFS with OCaml 4.08.1 because of an error while running
external preprocessor:

  https://buildd.debian.org/status/package.php?p=hol-light


Cheers,

-- 
Stéphane

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

Kernel: Linux 5.2.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
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: 20190729-3

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 944277@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: Sun, 29 Dec 2019 13:24:09 +0100
Source: hol-light
Architecture: source
Version: 20190729-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 944277
Changes:
 hol-light (20190729-3) unstable; urgency=medium
 .
   * Team upload
   * Add libnum-ocaml-dev to Build-Depends (Closes: #944277)
   * Bump debhelper compat level to 12
   * Bump Standards-Version to 4.4.1
   * Add Rules-Requires-Root: no
Checksums-Sha1:
 9c03986035286199a702ad81575c5de9afcdc9ee 1815 hol-light_20190729-3.dsc
 3549b50dd5b81a7d93528b544dfebb2cce38859b 10228 hol-light_20190729-3.debian.tar.xz
Checksums-Sha256:
 f5c9b46d7e897a8a4f040164b4cbcf86139528de867ae2bc8c081a69f9df28fa 1815 hol-light_20190729-3.dsc
 9e25343e354fca2853de8a81d4608e2f596ef0b9e4d24807f45adfb03196a42a 10228 hol-light_20190729-3.debian.tar.xz
Files:
 65a1da50813f8b7a6851a97133989782 1815 math optional hol-light_20190729-3.dsc
 b592f153f203989250029bd3d30cb131 10228 math optional hol-light_20190729-3.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl4InNMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB9D4IALBs892XYv5ljnLzJXl7DYoRuL24u8JZ
mc8tXVIzvwDPFTysjWkYOYh33bdqlKbxMpIWdxyD4OYx1F133yVOn8X6T2tniaZb
GgW6Lu4vnCvCaNiSyLsKXQls6ob8rUiNXtNUr7ftFZjYmCmhLCU5SkSycqrSkrsq
CbAY3C7BhYngaF9YHz5W8ddYKVv5KfzKwJ/OxI49gyiW2TNULuVkkXlaZUTKvEkR
GdflJ4b30Ud1mAfn7bUllim5UTXzcA196hKVJexX9TH3aCvmzyldB91TqwNpnxTR
ZwONXJFdzpysWeEZd6mjCjsBrXoADe70YVJnPGdcy18ojTg1+/W0Cz4=
=Zn9s
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: