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

Bug#1003801: marked as done (why3 FTBFS: Error: File graph.cmo not found)

Your message dated Sat, 19 Mar 2022 11:34:01 +0000
with message-id <E1nVXLN-0003q3-Mc@fasolo.debian.org>
and subject line Bug#1003801: fixed in why3 1.4.1-1
has caused the Debian Bug report #1003801,
regarding why3 FTBFS: Error: File graph.cmo not found
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.)


-- 
1003801: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003801
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: why3
Version: 1.4.0-3
Severity: serious
Tags: ftbfs

https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/why3.html

...
Linking  lib/plugins/hypothesis_selection.cmo
File "_none_", line 1:
Error: File graph.cmo not found
make[2]: *** [Makefile:591: lib/plugins/hypothesis_selection.cmo] Error 2

--- End Message ---
--- Begin Message --- 
Source: why3
Source-Version: 1.4.1-1
Done: Ralf Treinen <treinen@debian.org>

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

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated why3 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: Sat, 19 Mar 2022 12:16:02 +0100
Source: why3
Architecture: source
Version: 1.4.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1003801
Changes:
 why3 (1.4.1-1) unstable; urgency=medium
 .
   * New upstream release.
   * New patch ocamlgraph-cma to cope with the fact that ocamlgraph does no
     longer produce graph.cmo (closes: #1003801)
   * Drop building of the why3-coq package.
Checksums-Sha1:
 17c2b967450a3447eca128d88969e9f347c4f9f8 2662 why3_1.4.1-1.dsc
 6222ebede22bbdd4d15ecdbea824c0814fa4e671 6305011 why3_1.4.1.orig.tar.gz
 1a9763d0af0b97d0691f2f18690a3f0a7763e641 20384 why3_1.4.1-1.debian.tar.xz
 a5c2eff27917f5cb1e124d515536f1f3f97f411f 14988 why3_1.4.1-1_source.buildinfo
Checksums-Sha256:
 a1ab0e558b40e0e9a7c248d86445e76b3d8321e83c4f109911523fa84fd87da8 2662 why3_1.4.1-1.dsc
 580eec4d9af0bd4f37ebc34e1fa82b3edbed3b2f0cd0e907b1f9a94dfff51ee7 6305011 why3_1.4.1.orig.tar.gz
 e5a3a77ab7c2fbe049893250cb68a923f4724f177d2eed188ea8f555de584c7a 20384 why3_1.4.1-1.debian.tar.xz
 7a608a21756c24c86709d28ea35d63d4faf9d42b0be6256e736b50cd781922c1 14988 why3_1.4.1-1_source.buildinfo
Files:
 917252715f0639192cd6bc45bb13acd2 2662 math optional why3_1.4.1-1.dsc
 4710c10b5cfeb63950f3cd12b5d91a49 6305011 math optional why3_1.4.1.orig.tar.gz
 71206d89e11a4af627444be992145edb 20384 math optional why3_1.4.1-1.debian.tar.xz
 fcad88ae6230691d321c3136826ffa7c 14988 math optional why3_1.4.1-1_source.buildinfo

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI1u8IACgkQdFxHZtTK
zf+zNQ//QeEArcHtsWVUdhSLayP+mLV6Lrc2cObbMAXHO676XkWIt14snATmmm9M
IBf4AL7gq/BMojYaTdgqpBEP16Bp9HZA6bkdamm8oKAYytZx7OpDrhZpM/HzPEm6
PcUsFstNZbO1rZJU8h31fo2G7ZGFbe84cW9kkG8sJCHsD63gWtBSoK6PuEBoi2CO
9MiCZFBcpb3yBPAEcvc366IJ2si6XZJ2W4VklJGnUi7MVnTHJxPpIiqc/Dpog0ES
c5OPy9yQVxURU3V2iPZIbPum9/qcbdlYA9EAmPz3A5+blpCD5mvEHHQymkSeffz1
yQ4dYzowbkUi0LGNnM7KEXyV24dayXTYZjOUOMoZNYie8maApiaBbaqYJTHGkTd/
7tU+7WYYYixpHKityJBWwLKMBjC8ELpGq7JdJw+mz07eX9hPK3t01hgCQ8ORBJ88
T9JQ/maU1vrgantpyq7MaUYSyRMVfTKzgtFlfZhd93VxUm68T7kJaX7rULbjTHot
jSVcyRIPX11XP97SULGozKvAfWgrzaZT4mFvNtakVETrhErZlAfmCcodZ4HIBgHw
ar5apKA9YyFZe+3ofxiEEUquqd0k7nlvHicLPPOgZ1jLHX3ZmzJCkWnx34+rSWYM
hCnVAbRb8WdsDOWqP0OVShH3eN82BqblZyPsHCIxlp95gnIZgJ4=
=ZW5F
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: