|
From: | Julien Lepiller |
Subject: | [bug#27444] coq libraries |
Date: | Wed, 21 Jun 2017 21:45:39 +0200 |
Hi, here are 5 coq libraries.
0001-gnu-Add-coq-flocq.patch
Description: Text Data
0002-gnu-Add-coq-gappa.patch
Description: Text Data
0003-gnu-Add-coq-mathcomp.patch
Description: Text Data
0004-gnu-Add-coq-coquelicot.patch
Description: Text Data
0005-gnu-Add-coq-interval.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |