packages: NuSMV/NuSMV.spec - package librbcdag

[baggins]

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