Your message dated Sat, 11 May 2024 16:04:40 +0000
with message-id <e1s5pde-001z5u...@fasolo.debian.org>
and subject line Bug#1070787: fixed in coq-corn 8.19.0+ds1-1
has caused the Debian Bug report #1070787,
regarding coq-corn: produces empty binary
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 ow...@bugs.debian.org
immediately.)
--
1070787: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1070787
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: coq-corn
Version: 8.19.0-1
Severity: serious
Hello, looks like there are at least two issues:
1) fta directory was stripped on tarball import, not sure how and why, because
the upstream repo still contains it
(this makes autopkgtest fail)
2) the produced binary package looks empty
https://packages.debian.org/sid/amd64/libcoq-corn/filelist
/usr/share/doc/libcoq-corn/changelog.Debian.gz
/usr/share/doc/libcoq-corn/copyright
/var/lib/coq/md5sums/libcoq-corn.checksum
For sure changes in configure.sh are a possible culprit
diff --git a/configure.sh b/configure.sh
index fae7a08..c696c8f 100755
--- a/configure.sh
+++ b/configure.sh
@@ -1,11 +1,3 @@
-#!/usr/bin/env sh
-
-# Produce files Make and Makefile
-
-cp -f Make.in Make
-
-DIRECTORIES="algebra complex coq_reals fta ftc liouville logic metrics model raster
reals tactics transc order metric2 stdlib_omissions util classes ode"
-
-find $DIRECTORIES -name "*.v" >>Make
-
-${COQBIN}coq_makefile -f Make -o Makefile
+#!/bin/sh
+cp -f _CoqProject.in _CoqProject
+find . -name "*.v" |grep -v misc/benchmarks_nobuild.v >> _CoqProject
thanks for having a look
Gianfranco
OpenPGP_signature.asc
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---
Source: coq-corn
Source-Version: 8.19.0+ds1-1
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
coq-corn, 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 1070...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpu...@debian.org> (supplier of updated coq-corn 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 11 May 2024 17:45:21 +0200
Source: coq-corn
Architecture: source
Version: 8.19.0+ds1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1070787
Changes:
coq-corn (8.19.0+ds1-1) unstable; urgency=medium
.
* Use coq-corn's upstream sources instead of coq-math-classes'
(Closes: #1070787).
* Make d/watch mangle +ds* prefixes.
Checksums-Sha1:
add397903762b28475ab7fff9254d575ebe9e830 2120 coq-corn_8.19.0+ds1-1.dsc
372a19facf0f02611f0f553764ed124c3e811ab3 1321010
coq-corn_8.19.0+ds1.orig.tar.gz
b4cb1b926d658ca1c10b5877ab5693e465166b66 4240
coq-corn_8.19.0+ds1-1.debian.tar.xz
e053d960ea09ad160083896692d698fe0af4f0fa 8136
coq-corn_8.19.0+ds1-1_source.buildinfo
Checksums-Sha256:
ded901d24bf0354a7a6cc9a853c7a11b6fedec61be0f9324fb02846a831ea2f5 2120
coq-corn_8.19.0+ds1-1.dsc
93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010
coq-corn_8.19.0+ds1.orig.tar.gz
fa09743467cc02e7887880ea801a075afb425f025368bb33e5f0445d0c7d35f4 4240
coq-corn_8.19.0+ds1-1.debian.tar.xz
c4eab40b3d23a9a757e033505c3d4c5e33724fef260f78a35a4ab08f03d6e516 8136
coq-corn_8.19.0+ds1-1_source.buildinfo
Files:
644f656598aef573038d4741a6213734 2120 ocaml optional coq-corn_8.19.0+ds1-1.dsc
1d4581910322a18aa965740c300ac1cd 1321010 ocaml optional
coq-corn_8.19.0+ds1.orig.tar.gz
eb6e093eda37440cfb10ee39063d5c5a 4240 ocaml optional
coq-corn_8.19.0+ds1-1.debian.tar.xz
86dde79499e35a7d1ed34496e8787181 8136 ocaml optional
coq-corn_8.19.0+ds1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmY/kroSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3+YQAIpSk4YHoj0Dx22dacqhTTWhKnHXdcbh
mR1VJAI85q8jLRToBmlj85h5ypw/3yKU+IqMyImhImaC3SMnUZwO7Q4Wmhd44Xmh
+gcjGMFkvpQc53e7F9q+oSV4bWNUNI/pvV6eo7WZOzkoSi9JnLUZQD2GkyiWOSlP
ILTCKJCUs4FXkZuU0WNALqufS8MvJn5+gsx72/7RnuCkxmrIGlkI3j2OYlalyjDu
hRQL8BHZSL4pc4s8ByAA8+drTc04c6AXCWiHx6/fcAgmlA65sJNLoY6W5TcS9gan
3OgVXGfdnyvdoFM+P027ZewjWXtFEIl+qQODcKsnuBif/CrK6wCeUjTV3vBTCWUM
yHF2m5I0nso+6uq36L3Mb0je1QqJRF3/Hc08d9D5JVDRkz46H3YEkbchKpkkuZ/w
fVxYSe1/tI2Owo25T5grUrmcU7+hg9UKdjBKpF+ErwkDF2esSPoUGLt48Sr7qikS
csZpYNnfxdoooC8t5mM7N0VxUmIY0TzlgUTjLHdCRwIJbh0yuMoQkq+to9mD7CQ1
U2WgUyWyhgV9GbwJMQU02DdVRpFjir8vGoORLUv/VdgJElZZU2Qly0BLbmxQR1Vg
gGrTHzpph5ml62iMaWNSTT5vVykHmeecfeORJqnQdmgRtBrAaanXgU6TuWhy1WpR
uaFIpiVtEoon
=6xCp
-----END PGP SIGNATURE-----
pgpoQXUKa4oRA.pgp
Description: PGP signature
--- End Message ---
