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
