Package Details: mathcomp-git 20170913-1

Git Clone URL: https://aur.archlinux.org/mathcomp-git.git (read-only)
Package Base: mathcomp-git
Description: The Mathematical Components Library for the Coq system.
Upstream URL: https://math-comp.github.io/math-comp/
Licenses: GPL
Conflicts: mathcomp
Provides: mathcomp
Submitter: soimort
Maintainer: soimort
Last Packager: soimort
Votes: 1
Popularity: 0.000857
First Submitted: 2017-10-19 15:28
Last Updated: 2017-10-19 15:28

Dependencies (3)

Required by (0)

Sources (1)