diff options
| author | ponce <matteo.bernardini@gmail.com> | 2012-08-25 15:47:26 +0200 |
|---|---|---|
| committer | ponce <matteo.bernardini@gmail.com> | 2012-08-25 15:47:26 +0200 |
| commit | e715d8697e8d7cb06ee4b9f5525c537ea703d00c (patch) | |
| tree | 68d24c8dffe42ce9b65cfd666bd6653c9d1ed068 /academic/coq/coq.info | |
| parent | 7c7652361d4323b5ed74304721946ce83f63d31a (diff) | |
| download | slackbuilds-e715d8697e8d7cb06ee4b9f5525c537ea703d00c.tar.gz | |
network/shorewall-core: Fixed dep information
Diffstat (limited to 'academic/coq/coq.info')
0 files changed, 0 insertions, 0 deletions