We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 028a179 commit 98aa43fCopy full SHA for 98aa43f
snapcraft.yaml
@@ -3,9 +3,6 @@ base: core18
3
version: '2.2'
4
summary: A logical proof program
5
license: GPL-3.0
6
-contact: [email protected]
7
-source-code: https://github.com/kovzol/aris.git
8
-website: https://www.gnu.org/software/aris/
9
icon: src/icon.png
10
11
description: |
0 commit comments