diff options
| author | Philip Lacroix <slackph at posteo dot de> | 2021-02-12 20:37:49 +0000 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2021-02-14 06:27:53 +0700 |
| commit | 6f6a9022995fc92ea4a8822022d1aa79a747432a (patch) | |
| tree | 1d1f023ed2217ab840c841f7026f434340492504 /academic/aris/slack-desc | |
| parent | 7f55f641d147485dce7ad23a314762c353d12493 (diff) | |
academic/aris: Updated for version 2. New maintainer.
Signed-off-by: Dave Woodfall <dave@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/aris/slack-desc')
| -rw-r--r-- | academic/aris/slack-desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/academic/aris/slack-desc b/academic/aris/slack-desc index 218444d055d87..c061cf1dc471b 100644 --- a/academic/aris/slack-desc +++ b/academic/aris/slack-desc @@ -15,5 +15,5 @@ aris: in the form of abstract sequences. It uses a predefined set of both aris: inference and equivalence rules, however gives the user options to use aris: older proofs as lemmas, including Isabelle's Isar proofs. aris: -aris: Home page: http://www.gnu.org/software/aris/ +aris: Home page: https://www.gnu.org/software/aris/ aris: |