mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-06-18 02:44:07 +02:00
07fc7046d2
* gnu/packages/coq.scm (coq-interval): Update to 4.3.1.