[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gsrc-commit] /srv/bzr/gsrc/trunk r947: update aris to 2.0
From: |
Brandon Invergo |
Subject: |
[Gsrc-commit] /srv/bzr/gsrc/trunk r947: update aris to 2.0 |
Date: |
Tue, 25 Sep 2012 23:44:26 +0200 |
User-agent: |
Bazaar (2.5.0) |
------------------------------------------------------------
revno: 947
committer: Brandon Invergo <address@hidden>
branch nick: trunk
timestamp: Tue 2012-09-25 23:44:26 +0200
message:
update aris to 2.0
modified:
gnu/aris/Makefile
=== modified file 'gnu/aris/Makefile'
--- a/gnu/aris/Makefile 2012-08-30 20:25:07 +0000
+++ b/gnu/aris/Makefile 2012-09-25 21:44:26 +0000
@@ -10,7 +10,7 @@
# BUILDDEPS =
# LIBDEPS =
-HOME_URL = http://www.gnu.org/software/aris
+HOME_URL = http://www.gnu.org/software/aris/
DESCRIPTION = A logical proof program
include ../../gar.lib/auto.mk
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gsrc-commit] /srv/bzr/gsrc/trunk r947: update aris to 2.0,
Brandon Invergo <=