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/coq/slack-desc | |
| 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/coq/slack-desc')
| -rw-r--r-- | academic/coq/slack-desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/academic/coq/slack-desc b/academic/coq/slack-desc index badd05cb0b..a5c16bf092 100644 --- a/academic/coq/slack-desc +++ b/academic/coq/slack-desc @@ -13,7 +13,7 @@ coq: to write mathematical definitions, executable algorithms and theorems coq: together with an environment for semi-interactive development of coq: machine-checked proofs. coq: +coq: Homepage: https://coq.inria.fr/ coq: -coq: Homepage: http://coq.inria.fr/ coq: coq: |