diff options
| author | Josiah Boothby <josiahb@gmail.com> | 2014-12-16 00:25:12 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-12-16 00:25:12 +0700 |
| commit | 91c0a4b7c91e202154c29cb3b69b9c784e730769 (patch) | |
| tree | 2f25d35c1da56ba0d81e7eb7ed756fe14e889ab1 /academic/coq | |
| parent | 25d2290361f761dcb09b63b0cce2b0202240c4b3 (diff) | |
| download | slackbuilds-91c0a4b7c91e202154c29cb3b69b9c784e730769.tar.gz | |
desktop/e16: Updated for version 1.0.15.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions