Search Criteria
Package Details: ssreflect 1.9.0-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/ssreflect.git (read-only, click to copy) |
---|---|
Package Base: | ssreflect |
Description: | The ssreflect unit of the mathematical components library for Coq. |
Upstream URL: | https://math-comp.github.io/math-comp/ |
Licenses: | GPL |
Submitter: | mboes |
Maintainer: | 0918nobita |
Last Packager: | wilbowma |
Votes: | 10 |
Popularity: | 0.000000 |
First Submitted: | 2010-02-19 13:35 (UTC) |
Last Updated: | 2019-06-30 04:26 (UTC) |
Latest Comments
1 2 Next › Last »
zorun commented on 2017-07-07 22:35 (UTC)
dschoepe commented on 2017-07-07 20:42 (UTC)
wilbowma commented on 2017-05-08 21:14 (UTC)
aspirogrammer commented on 2017-05-05 18:13 (UTC)
pmates commented on 2014-07-03 10:24 (UTC)
<deleted-account> commented on 2013-04-18 17:25 (UTC)
mboes commented on 2012-12-22 00:56 (UTC)
jbj commented on 2012-11-20 15:12 (UTC)
mboes commented on 2012-03-21 15:39 (UTC)
chneukirchen commented on 2012-03-20 15:31 (UTC)
1 2 Next › Last »