packages: NuSMV/NuSMV.spec - package librbcdag
baggins
baggins at pld-linux.org
Wed Apr 11 18:06:18 CEST 2012
Author: baggins Date: Wed Apr 11 16:06:18 2012 GMT
Module: packages Tag: HEAD
---- Log message:
- package librbcdag
---- Files affected:
packages/NuSMV:
NuSMV.spec (1.19 -> 1.20)
---- Diffs:
================================================================
Index: packages/NuSMV/NuSMV.spec
diff -u packages/NuSMV/NuSMV.spec:1.19 packages/NuSMV/NuSMV.spec:1.20
--- packages/NuSMV/NuSMV.spec:1.19 Wed Apr 11 18:00:43 2012
+++ packages/NuSMV/NuSMV.spec Wed Apr 11 18:06:12 2012
@@ -165,8 +165,10 @@
%doc nusmv/doc/user-man/nusmv.p*
%doc nusmv/doc/html
%attr(755,root,root) %{_bindir}/*
-%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0
%attr(755,root,root) %{_libdir}/lib*smv*.so.*.*.*
+%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0
+%attr(755,root,root) %{_libdir}/librbcdag.so.*.*.*
+%attr(755,root,root) %ghost %{_libdir}/librbcdag.so.0
%dir %{_datadir}/nusmv
%{_datadir}/nusmv/contrib
%{_datadir}/nusmv/help
@@ -176,6 +178,7 @@
%files devel
%defattr(644,root,root,755)
%attr(755,root,root) %{_libdir}/lib*smv*.so
+%attr(755,root,root) %{_libdir}/librbcdag.so
%{_includedir}/cudd*
%{_includedir}/nusmv
%{_pkgconfigdir}/*
@@ -183,6 +186,7 @@
%files static
%defattr(644,root,root,755)
%attr(755,root,root) %{_libdir}/lib*smv*.a
+%attr(755,root,root) %{_libdir}/librbcdag.a
%define date %(echo `LC_ALL="C" date +"%a %b %d %Y"`)
%changelog
@@ -190,6 +194,9 @@
All persons listed below can be reached at <cvs_login>@pld-linux.org
$Log$
+Revision 1.20 2012/04/11 16:06:12 baggins
+- package librbcdag
+
Revision 1.19 2012/04/11 16:00:43 baggins
- up to 2.5.4
================================================================
---- CVS-web:
http://cvs.pld-linux.org/packages/NuSMV/NuSMV.spec?r1=1.19&r2=1.20
More information about the pld-cvs-commit
mailing list