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: aspirogrammer
Maintainer: aspirogrammer
Last Packager: aspirogrammer
Votes: 3
Popularity: 0.000012
First Submitted: 2015-10-02 01:33 (UTC)
Last Updated: 2016-04-04 19:10 (UTC)

Dependencies (1)

Required by (0)

Sources (1)

Latest Comments

dreieck commented on 2020-03-15 16:55 (UTC)

Checksum fails:

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

aspirogrammer commented on 2016-04-04 19:09 (UTC)

Indeed, not sure why makepkg kept using the stale archive... Fixed!

lucaswerkmeister commented on 2016-04-04 17:16 (UTC)

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 (UTC) (edited on 2016-04-03 23:19 (UTC) by frenchbeard)

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 ?

aspirogrammer commented on 2016-04-03 17:42 (UTC)

Should be fine now. Note that the package is now available through tlllocalmanager as well.

zakkak commented on 2016-04-01 05:10 (UTC)

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 (UTC) (edited on 2016-01-12 09:24 (UTC) by Cake)

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?