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:
Keywords: broken eol eolbranch guidelines-violation to-be-deleted unneeded
Licenses: GPL
Submitter: wilbowma
Maintainer: MarsSeed
Last Packager: wilbowma
Votes: 1
Popularity: 0.000000
First Submitted: 2017-04-15 21:22 (UTC)
Last Updated: 2017-08-02 18:22 (UTC)

Dependencies (2)

Required by (0)

Sources (1)

Latest Comments

wilbowma commented on 2017-08-02 18:22 (UTC)

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

zorun commented on 2017-07-15 11:52 (UTC)

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.