diff options
author | 2020-01-18 01:49:05 +0100 | |
---|---|---|
committer | 2020-01-18 01:49:05 +0100 | |
commit | 25d036b157ee70a44577dcb95ba365f5d1501491 (patch) | |
tree | 76ada3e96a291bed0e9a5ded29961fbe543c07f0 /academic/archaeopteryx/archaeopteryx.desktop | |
parent | a7ac25a4b1424457802304a26696d29d7b6439e9 (diff) | |
download | slackbuilds-25d036b157ee70a44577dcb95ba365f5d1501491.tar.gz |
academic/coq: Updated for version 8.9.0.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/archaeopteryx/archaeopteryx.desktop')
0 files changed, 0 insertions, 0 deletions