Package Details: mathcomp-git 20191007-1

Git Clone URL: (read-only, click to copy)
Package Base: mathcomp-git
Description: The Mathematical Components Library for the Coq system.
Upstream URL:
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
Last Updated: 2019-10-12 12:15

Dependencies (3)

Required by (0)

Sources (1)

Latest Comments

soimort commented on 2019-10-12 12:18

@gyu-don Updated. Thanks for spotting this!

gyu-don commented on 2019-10-02 15:56

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