diff options
| author | darcy <darcy> | 2011-12-13 17:29:40 +0000 |
|---|---|---|
| committer | darcy <darcy> | 2011-12-13 17:29:40 +0000 |
| commit | 51c491bb5b479ebc1d4abc61f7024547a61098cc (patch) | |
| tree | c0080cefe74f5a4b79a7b626265cb24fac32c526 /lang/coq | |
| parent | 99edd1e880305843a246865592d780c5a9c73976 (diff) | |
| download | pkgsrc-51c491bb5b479ebc1d4abc61f7024547a61098cc.tar.gz | |
Upstream will not be moving to Python 3 in the foreseeable future. See
http://blog.vrplumber.com/index.php?/archives/2540-More-porting-to-python-3-notes....html.
Add license. The web page is unclear so I went with the most stringent
BSD one. If I find out otherwise I will update it.
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions