diff options
| author | Nick Smallbone <nick@smallbone.se> | 2020-01-18 07:49:05 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-01-18 07:49:05 +0700 |
| commit | 25d036b157ee70a44577dcb95ba365f5d1501491 (patch) | |
| tree | 76ada3e96a291bed0e9a5ded29961fbe543c07f0 /python/python-elementtree | |
| parent | a7ac25a4b1424457802304a26696d29d7b6439e9 (diff) | |
academic/coq: Updated for version 8.9.0.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'python/python-elementtree')
0 files changed, 0 insertions, 0 deletions