guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#27444] coq libraries

From: Julien Lepiller
Subject: [bug#27444] coq libraries
Date: Wed, 21 Jun 2017 21:45:39 +0200 
Hi,

here are 5 coq libraries.

Attachment: 0001-gnu-Add-coq-flocq.patch
Description: Text Data

Attachment: 0002-gnu-Add-coq-gappa.patch
Description: Text Data

Attachment: 0003-gnu-Add-coq-mathcomp.patch
Description: Text Data

Attachment: 0004-gnu-Add-coq-coquelicot.patch
Description: Text Data

Attachment: 0005-gnu-Add-coq-interval.patch
Description: Text Data

reply via email to
[Prev in Thread] Current Thread [Next in Thread]