Julien Puydt

(I'm trying to update the Coq packages in Debian, so I'm looking for a set of coherent upstream releases)

[20241112] Compilation failure on armhf

3

I finally found some time to have a look at the eclib package in Debian - sorry I was away that long. I updated it to 20241112, and checked it...

I'm the packager for many Coq/Rocq-related packages in Debian, and I'm trying to find out where things stand with respect to Rocq, in order to update everything I can. The...

What is elpi_trace_elaborator? Shouldn't it move to libexec?

3

While updating the elpi package in Debian, one of the tools complains that there is no associated manpage. Indeed, if it ends up in a user's path, an executable should...

Touchy compilation

3

My Debian package for coq-elpi's construction is failing quite often, because of a timeout: ``` File "./apps/tc/tests/tlc.v", line 44, characters 4-49: Error: Timeout! Raised at Unicode.next_utf8 in file "clib/unicode.ml", line...

Executables in some bin/ while they should probably be in some libexec/

2

I tried to compile the next coq-elpi (the one supporting the currenct elpi 3.1.0) on Debian to prepare the path to the Rocq upgrade, and noticed that there are three...