diff options
| author | Erik Hanson <erik@slackbuilds.org> | 2012-07-31 19:38:53 -0500 |
|---|---|---|
| committer | Erik Hanson <erik@slackbuilds.org> | 2012-07-31 19:38:53 -0500 |
| commit | 5339404df5c2c691ae551bf1c213f58d339bd931 (patch) | |
| tree | e69ec415b63ef0213d694594214f7f46af084ea1 /academic/coq | |
| parent | 6c54b5150ee70fe666e333abd7a54280a7dd3a1f (diff) | |
| download | slackbuilds-5339404df5c2c691ae551bf1c213f58d339bd931.tar.gz | |
Public www update: Wed Aug 1 00:38:06 UTC 201213.37-20120801.1
Signed-off-by: Erik Hanson <erik@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions