diff options
author | Nick Smallbone | 2020-01-18 01:49:05 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo | 2020-01-18 01:49:05 +0100 |
commit | 25d036b157ee70a44577dcb95ba365f5d1501491 (patch) | |
tree | 76ada3e96a291bed0e9a5ded29961fbe543c07f0 /academic/pcb/README | |
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/pcb/README')
0 files changed, 0 insertions, 0 deletions