Bug#1070787: coq-corn: produces empty binary

2024-05-11 Thread julien . puydt
Hi, Le jeudi 09 mai 2024 à 09:45 +0200, Gianfranco Costamagna a écrit : > 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

Bug#1070787: coq-corn: produces empty binary

2024-05-09 Thread Gianfranco Costamagna
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