Search Criteria
Package Details: mathcomp-git 20191007-1
| Git Clone URL: | https://aur.archlinux.org/mathcomp-git.git (read-only, click to copy) |
|---|---|
| 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.000000 |
| First Submitted: | 2017-10-19 15:28 (UTC) |
| Last Updated: | 2019-10-12 12:15 (UTC) |
Dependencies (3)
- coq
- camlp5 (camlp5-transitional-gitAUR) (make)
- ocaml-findlib (make)
Latest Comments
soimort commented on 2019-10-12 12:18 (UTC)
@gyu-don Updated. Thanks for spotting this!
gyu-don commented on 2019-10-02 15:56 (UTC)
The library is installed to "/usr/lib/coq/usr/lib/coq/user-contrib/mathcomp". Maybe, line 31 of PKGBUILD
make DSTROOT="$pkgdir/usr/lib/coq/" install
shall be changed to
make DSTROOT="$pkgdir" install