Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Search Help

RPM shipped by Pavel Shved <pavel.shved@rosalab.ru>

cvc3-2.4.1-0.i586 Automatic theorem prover for Satisfiability Modulo Theories Mandriva devel cooker for i586
cvc3-2.4.1-0.x86_64 Automatic theorem prover for Satisfiability Modulo Theories Mandriva devel cooker for x86_64
cvc3-debug-2.4.1-0.i586 Debug information for package cvc3 Mandriva devel cooker for i586
cvc3-debug-2.4.1-0.x86_64 Debug information for package cvc3 Mandriva devel cooker for x86_64
faketime-0.8.1-0.i586 Run programs with a faked system time Mandriva devel cooker for i586
faketime-0.8.1-0.x86_64 Run programs with a faked system time Mandriva devel cooker for x86_64
faketime-debug-0.8.1-0.i586 Debug information for package faketime Mandriva devel cooker for i586
faketime-debug-0.8.1-0.x86_64 Debug information for package faketime Mandriva devel cooker for x86_64
lib64cvc3_5-2.4.1-0.x86_64 Shared libraries for automatic SMT theorem proving Mandriva devel cooker for x86_64
lib64cvc3_5-devel-2.4.1-0.x86_64 Library and includes to use automatic SMT theorem proving Mandriva devel cooker for x86_64
libcvc3_5-2.4.1-0.i586 Shared libraries for automatic SMT theorem proving Mandriva devel cooker for i586
libcvc3_5-devel-2.4.1-0.i586 Library and includes to use automatic SMT theorem proving Mandriva devel cooker for i586

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 29 16:25:09 2017