Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: autosubst 1.6-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/autosubst.git (read-only, click to copy)
Package Base:	autosubst
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:	2015-04-02 20:35 (UTC)
Last Updated:	2017-04-15 21:15 (UTC)

Dependencies (2)

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

Required by (0)

Sources (1)

https://github.com/tebbi/autosubst/archive/v1.6.tar.gz

Latest Comments

wilbowma commented on 2017-04-15 21:08 (UTC)

Unfortunately, the most recent release of autosubst doesn't support the version of Coq in the repository. I can update to 1.6, but it will not build with manually building Coq 8.5. In the mean time, I'll upload autosubst-devel, which is compatible with Coq 8.6 but may contain bugs.