- release 4 (by relup.sh) auto/th/why3-0.83-4
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 26 Jul 2015 07:31:58 +0000 (09:31 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 26 Jul 2015 07:31:58 +0000 (09:31 +0200)
why3.spec

index 7517b1226fd07bc323f8a70c9b9f5f779f21f730..6accd9ece4b119b095eb3a2e2227717751187b7f 100644 (file)
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
 Summary:       Software verification platform
 Name:          why3
 Version:       0.83
-Release:       3
+Release:       4
 Group:         Applications
 License:       LGPLv2 with exceptions
 Source0:       https://gforge.inria.fr/frs/download.php/33490/%{name}-%{version}.tar.gz
This page took 0.06836 seconds and 4 git commands to generate.