Package Details: autosubst-devel 1.6-1

Git Clone URL: https://aur.archlinux.org/autosubst-devel.git (read-only)
Package Base: autosubst-devel
Description: Automation for de Bruijn syntax and substition in Coq.
Upstream URL: https://github.com/tebbi/autosubst
Licenses: GPL
Submitter: wilbowma
Maintainer: wilbowma
Last Packager: wilbowma
Votes: 1
Popularity: 0.002886
First Submitted: 2017-04-15 21:22
Last Updated: 2017-08-02 18:22

Dependencies (2)

Required by (0)

Sources (1)

Latest Comments

wilbowma commented on 2017-08-02 18:22

@zorun, could not reproduce, but I've added git to makedepends.

zorun commented on 2017-07-15 11:52

The pkgver function is buggy:

==> Starting pkgver()...
==> ERROR: pkgver is not allowed to contain colons, hyphens or whitespace.
==> ERROR: pkgver() generated an invalid version: grep: src/Makefile.ProjectInfo: No such file or directory
r.e7fdf9f

Also, git should be added to makedepends.