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: GPL
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:

==> Validating source files with md5sums...
    mathpartir.tgz ... FAILED

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?