diff options
| author | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-11-15 21:43:42 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-11-15 21:43:42 +0700 |
| commit | 0ceaa25013ba188e7e2ef6f5db510c75695eab04 (patch) | |
| tree | 01d73575a68d56701dc0da23f0526d41f8c6868c /academic/coq/gpl.txt.gz | |
| parent | 375304f44d08b2a2ddf5254c654e3983af9ab939 (diff) | |
Public www update: Tue Nov 15 14:43:15 UTC 2016.14.2-20161115.1
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq/gpl.txt.gz')
0 files changed, 0 insertions, 0 deletions