Package Details: autosubst-devel 1.6-1

Git Clone URL: (read-only, click to copy)
Package Base: autosubst-devel
Description: Automation for de Bruijn syntax and substition in Coq.
Upstream URL:
Licenses: GPL
Submitter: wilbowma
Maintainer: None
Last Packager: wilbowma
Votes: 1
Popularity: 0.000000
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

Also, git should be added to makedepends.