Search Criteria
Package Details: mathpartir 1.3.1-2
Git Clone URL: | https://aur.archlinux.org/mathpartir.git (read-only, click to copy) |
---|---|
Package Base: | mathpartir |
Description: | LaTeX package for typesetting type inference rules |
Upstream URL: | http://cristal.inria.fr/~remy/latex/ |
Licenses: | |
Submitter: | kaptoxic |
Maintainer: | kaptoxic |
Last Packager: | kaptoxic |
Votes: | 2 |
Popularity: | 0.000000 |
First Submitted: | 2015-10-02 01:33 |
Last Updated: | 2016-04-04 19:10 |
Latest Comments
dreieck commented on 2020-03-15 16:55
Checksum fails:
kaptoxic commented on 2016-04-04 19:09
Indeed, not sure why makepkg kept using the stale archive... Fixed!
lucaswerkmeister commented on 2016-04-04 17:16
Confirmed, frenchbeard’s proposed changes fix the build for me. Here’s a patch for convenience: https://gist.github.com/lucaswerkmeister/a979f1e142d2ffc4bc1bb88a1fcaaf49
frenchbeard commented on 2016-04-03 23:18
Still not working for me with current PKGBUILD :
- md5sum for the tgz should be : 3f670db71394a86c87042682c128c977
- as stated earlier by zakkak, mathpartir.dvi and mathpartir.ps.gz should be removed from the last install command of package()
Maybe forgot to push changes ?
kaptoxic commented on 2016-04-03 17:42
Should be fine now. Note that the package is now available through tlllocalmanager as well.
zakkak commented on 2016-04-01 05:10
It looks like the archive has been updated. The md5sum is different and mathpartir.dvi as well as mathpartir.ps.gz no longer exist.
Cake commented on 2016-01-12 09:23
I got the following error while installing the package.
==> Validating source files with md5sums...
mathpartir.tgz ... FAILED
==> ERROR: One or more files did not pass the validity check!
==> ERROR: Makepkg was unable to build mathpartir.
==> Restart building mathpartir ? [y/N]
Changing the md5sums results in the following error
==> Validating source files with md5sums...
mathpartir.tgz ... Passed
==> Extracting sources...
-> Extracting mathpartir.tgz with bsdtar
==> Entering fakeroot environment...
==> Starting package()...
install: cannot stat ‘mathpartir.dvi’: No such file or directory
install: cannot stat ‘mathpartir.ps.gz’: No such file or directory
==> ERROR: A failure occurred in package().
Aborting...
==> ERROR: Makepkg was unable to build mathpartir.
I am not familiar with PKBUILD. Could you help?