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 contai

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 http