aboutsummaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorDavid Spencer <baildon.research@googlemail.com>2018-10-27 12:13:39 +0100
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2018-11-10 07:47:53 +0700
commitd6fc7e46270c1037d2ec586cc4e148f8d1f996ff (patch)
tree4ff4d089f75a8090beb2b56361766c0ea58b72a5 /academic/coq
parent7289675f1c3623ebba6e814b1720f9dd8ec0d840 (diff)
haskell/haskell-tls: Updated for version 1.4.1.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions