aboutsummaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorLorenzo Trevisan <lorenzo.trevisan@gmail.com>2019-07-13 07:50:49 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2019-07-13 07:50:49 +0700
commitc94abd03f7ea12c0706174bad72c07a4f9cbffa9 (patch)
tree087ad2cb5c3a4280655473546b83c00695288239 /academic/coq
parentda4d084f82fa30bae2363f6b979b68a6b8c9c44b (diff)
academic/OpenFOAM: Updated for version 7.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions