Bug 524678

Summary:	dev-util/coq-2.3 - a (Python based) code generation tool
Product:	Gentoo Linux	Reporter:	David Hallas <david>
Component:	New packages	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	RESOLVED OBSOLETE
Severity:	enhancement
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://nedbatchelder.com/code/cog/
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	ebuild generated with gpypi

Description David Hallas 2014-10-07 09:38:38 UTC

This package is available through PyPi: https://pypi.python.org/pypi/cogapp

Reproducible: Always

Comment 1 David Hallas 2014-10-07 11:31:34 UTC

Created attachment 386182 [details]
ebuild generated with gpypi

Ebuild generated with gpypi - tested and seems to work

Comment 2 David Hallas 2017-12-13 15:20:42 UTC

The upstream project looks more or less dead, latest release was in 2015. I will close this bug.