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

Bug#944365: marked as done (FTBFS with OCaml 4.08.1 (implementation/interface mismatch))

Your message dated Tue, 31 Mar 2020 21:04:20 +0000
with message-id <E1jJO3Y-0009Sg-Ta@fasolo.debian.org>
and subject line Bug#944365: fixed in frama-c 20191204+calcium-0.1
has caused the Debian Bug report #944365,
regarding FTBFS with OCaml 4.08.1 (implementation/interface mismatch)
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.)


-- 
944365: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944365
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: src:frama-c
Version: 20171101+sulfur+dfsg-2
Severity: serious
Tags: ftbfs
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml-4.08-transition

Dear Maintainer,

frama-c FTBFS with OCaml 4.08.1:

  https://buildd.debian.org/status/package.php?p=frama-c


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: frama-c
Source-Version: 20191204+calcium-0.1
Done: Gianfranco Costamagna <locutusofborg@debian.org>

We believe that the bug you reported is fixed in the latest version of
frama-c, 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 944365@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Gianfranco Costamagna <locutusofborg@debian.org> (supplier of updated frama-c 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: SHA256

Format: 1.8
Date: Fri, 20 Mar 2020 19:14:20 +0100
Source: frama-c
Binary: frama-c-base
Architecture: source
Version: 20191204+calcium-0.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 frama-c-base - Platform dedicated to the analysis of source code written in C (w
Closes: 944365
Changes:
 frama-c (20191204+calcium-0.1) unstable; urgency=medium
 .
   [ Dimitri John Ledkov ]
   * New upstream release (Closes: #944365)
   * Add dependencies on libyojson-ocaml-dev and libwhy3-ocaml-dev
   * Refresh patches
   * Drop patches now upstream:
     - 0006-Fix-installation-on-bytecode-architectures.patch
     - 0007-Fix-FTBFS-with-OCaml-4.05.0.patch
   [ Gianfranco Costamagna ]
   * Drop debian/README.Debian. We don't need to repack anymore the sources,
     because embedded libraries have been removed upstream
Checksums-Sha1:
 3c507e318cd6129bb3cb7de7c45c651407f57e5b 2197 frama-c_20191204+calcium-0.1.dsc
 37b41710bd07a6913f617219c1a71757aebbac98 5787697 frama-c_20191204+calcium.orig.tar.gz
 c9c80eacf71ff540a2e05a5382286fb66831b9ae 22460 frama-c_20191204+calcium-0.1.debian.tar.xz
 b15a14830f36ae86a8380087d973979f4ccd6675 9099 frama-c_20191204+calcium-0.1_source.buildinfo
Checksums-Sha256:
 f845f6b3eac99ad753307680e4deeaba2d54e514eb319f56cc4b2beb74cc9418 2197 frama-c_20191204+calcium-0.1.dsc
 167ba128cda0974a33fbf36a5634a9f520f8cad9dbcc3ab590d4cb264cb0bb0d 5787697 frama-c_20191204+calcium.orig.tar.gz
 4f7f49920032d3c8cd70aae73372e8a156d2931c6218bea1ee8ce224dee01227 22460 frama-c_20191204+calcium-0.1.debian.tar.xz
 b5c95f90eabf71beca0f9149d5200efb5b9561dadd15364ea97b79c21a2023d0 9099 frama-c_20191204+calcium-0.1_source.buildinfo
Files:
 bf8d2b8719a3bdec9ffe371413a0e87a 2197 devel optional frama-c_20191204+calcium-0.1.dsc
 47b9a0a246ae172384dd927516ab184c 5787697 devel optional frama-c_20191204+calcium.orig.tar.gz
 85f231d25ffeba2f0271ba1d4bcfa41c 22460 devel optional frama-c_20191204+calcium-0.1.debian.tar.xz
 081b2294bf88def47dc77a33d852edc0 9099 devel optional frama-c_20191204+calcium-0.1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl59EKUACgkQ808JdE6f
Xdm/UA//eJcskZbdySOHLlki36pMRsgXX4TH+QmKR/R5TlA8h/dodhY9wMgIuC54
iYxdbdHtUJcIviagO5ZnWen2cqBvYS7xvJlC0o94KKbdXQ4XE+mNOGgBXxrSQT3P
+K4YrxKKTlCQTnlnAVREv4r2TffwwQ5BieRkptJ2C8SH6oqDH26zPpeK+Fl1opbc
wUijZXnKQVAApn2Hj7meFQUMTNaAoDSUR4HROqxn/yoJQK6sZKqHgcE1OL+30x3T
5cQl3jM0P005JqvKiGLX3mZT9b7d9x3a3ktGbq1kFlqYJzXEGXXqRBDxuaMgzUEb
71NZ9oRYlreKISj3+lpXCsNoMvcIOd+DFhGM/ZUg42//uZsXTGp2vHt0lDBocv3U
vBXmzeMz27BXxi6r//IhKr0fzTM/J0psq/X8OnV98NwpX0ame4gHY+LS58IZH7YZ
23xfW6NeBgUu9+UEpiVWzH/ewA3VG+siTQo1tj9/h212taxOrXhJCQ4CxczpU9el
W67euypSQGPSPUPJqky3+GBxpoSeX5o9HhfLksBMqbMrl20JY2RvZ34dkaEZme8G
KUM2V4JmjKwP57A+Ho9unZM/b9OsAhpeWseRdHxaHPhmpHs6jWryhRQOwHFpxDJ2
60cEAYJgNzuJZy2lJnTx8rZ3aAAm0KRqgNpLpPO53c7m11rOMY4=
=M6mm
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: