Julien Puydt
Julien Puydt
It looks like free-style 4.1.0 doesn't work with typestyle 2.2.0: registerRule and registerKeyFrames aren't available as-is anymore.
It looks like csstype 3.0.10 doesn't work with typestyle 2.2.0: Namespace '"/usr/share/nodejs/csstype/index"' has no exported member 'FontFace'.
##### Motivation for this change Those simple lemmas should be useful. Fixes #886 ##### Things done/to do - [x] added corresponding entries in `CHANGELOG_UNRELEASED.md` (do not edit former entries) ~-...
Among the lemmas with the root predicate, the following is in my opinion lacking: ``` Section MissingRoot. Variable R: idomainType. Lemma root_expn (p: { poly R }) (n: nat) a:...
While reworking the Debian package for mathcomp, I found out that ``make -C mathcomp/foo install DESTDIR=/to/somewhere``` worked for all directories (like what is used in the opam files) -- except...
The toplevel Makefile tries to install quickChick to the same directory as coqc. That means it doesn't respect DESTDIR, and that is a problem when packaging QuickChick. I propose the...
I packaged coq-equations for Debian, but it got rejected because of licensing issues: the file headers says LGPL 2.1, the opam says LGPL-2.1+. There are files (theories/*/Relation*.v) out of coq:...
I'm packaging coqhammer for Debian, and there's something not satisfying with installing htimeout and predict in /usr/bin: they are not supposed to be called by the user directly. According to...
### Bug summary Since version 7, setuptools_scm has native support for git archives, so that [project](https://github.com/Changaco/setuptools_scm_git_archive) is now obsolete and its homepage is a migration guide. ### Is there an...
I tried to update my flint-arb package in Debian and was notified that it used rpath. As far as I know, rpath is a way to point to internal sublibraries,...