Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: autosubst-devel 1.6-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/autosubst-devel.git (read-only, click to copy)
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:	None
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)

coq
camlp5-transitional (camlp5-transitional-git) (make)

Required by (0)

Sources (1)

autosubst

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.