commit d3b6f1605b18dc50e2bf7765a4b0ea6bcef48a04 Author: Jan Rękorajski <bagg...@pld-linux.org> Date: Tue Oct 18 08:04:56 2016 +0200
- rebuild with readline 7.0 - release 9 (by relup.sh) NuSMV.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) --- diff --git a/NuSMV.spec b/NuSMV.spec index b8e4e81..4fb6a9c 100644 --- a/NuSMV.spec +++ b/NuSMV.spec @@ -9,7 +9,7 @@ Summary: New Symbolic Model Verifier Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych Name: NuSMV Version: 2.5.4 -Release: 8 +Release: 9 License: LGPL Group: Applications Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz ================================================================ ---- gitweb: http://git.pld-linux.org/gitweb.cgi/packages/NuSMV.git/commitdiff/d3b6f1605b18dc50e2bf7765a4b0ea6bcef48a04 _______________________________________________ pld-cvs-commit mailing list pld-cvs-commit@lists.pld-linux.org http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit