diff options
| author | Robby Workman <rworkman@slackbuilds.org> | 2012-08-21 20:28:50 -0500 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2012-08-22 16:07:13 -0500 |
| commit | 738fcf4d628ac0910d21ebbee498fb9e490eea85 (patch) | |
| tree | f4765539024320ce92686035c6d5d67f41ca51ac /academic/engauge | |
| parent | 45b45c3d10618f924ef506e553b3ce8e0beb3f29 (diff) | |
academic/coq: Fixed dep information
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'academic/engauge')
0 files changed, 0 insertions, 0 deletions