- rebuild with ocaml 4.04.1 auto/th/why3-0.83-6
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 5 Jun 2017 12:42:24 +0000 (14:42 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Mon, 5 Jun 2017 12:42:24 +0000 (14:42 +0200)
- release 6 (by relup.sh)

why3.spec

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