summaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorEdinaldo P. Silva <edps.mundognu@gmail.com>2017-04-23 01:11:41 +0100
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2017-04-29 12:51:23 +0700
commit760cb63764983d58dfb511ecd41b1d7672063518 (patch)
tree29604ac5eaa420500704e817f0f76c49081818cb /academic/coq
parentd3e63f3f9dab4039323b54e7dfb95382a0b5a66b (diff)
downloadslackbuilds-760cb63764983d58dfb511ecd41b1d7672063518.tar.gz
perl/perl-Sidef: Updated for version 3.00.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions