Sophie

Sophie

distrib > Mageia > 7 > i586 > by-pkgid > 7d5da8cc41894645f2824e302d65b503 > files

coq-flocq-2.6.0-3.mga7.i586.rpm

Files

drwxr-xr-x 0 root root /usr/lib/coq/user-contrib/Flocq
drwxr-xr-x 0 root root /usr/lib/coq/user-contrib/Flocq/Appli
drwxr-xr-x 0 root root /usr/lib/coq/user-contrib/Flocq/Calc
drwxr-xr-x 0 root root /usr/lib/coq/user-contrib/Flocq/Core
-rw-r--r-- 1119 root root /usr/lib/coq/user-contrib/Flocq/Flocq_version.v
-rw-r--r-- 23884 root root /usr/lib/coq/user-contrib/Flocq/Flocq_version.vo
drwxr-xr-x 0 root root /usr/lib/coq/user-contrib/Flocq/Prop
-rw-r--r-- 55511 root root /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE.v
-rw-r--r--441805 root root /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE.vo
-rw-r--r-- 18835 root root /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.v
-rw-r--r--171342 root root /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.vo
-rw-r--r--163780 root root /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_double_round.v
-rw-r--r--1504894 root root /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_double_round.vo
-rw-r--r-- 27539 root root /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_rnd_odd.v
-rw-r--r--137455 root root /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_rnd_odd.vo
-rw-r--r-- 18023 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_bracket.v
-rw-r--r--111397 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_bracket.vo
-rw-r--r-- 1786 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_digits.v
-rw-r--r-- 39882 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_digits.vo
-rw-r--r-- 4821 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_div.v
-rw-r--r-- 66770 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_div.vo
-rw-r--r-- 3881 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_ops.v
-rw-r--r-- 49639 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_ops.vo
-rw-r--r-- 28420 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_round.v
-rw-r--r--146721 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_round.vo
-rw-r--r-- 6306 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_sqrt.v
-rw-r--r-- 72665 root root /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_sqrt.vo
-rw-r--r-- 985 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore.v
-rw-r--r-- 41813 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore.vo
-rw-r--r-- 2291 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FIX.v
-rw-r--r-- 46587 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FIX.vo
-rw-r--r-- 8411 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLT.v
-rw-r--r--120405 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLT.vo
-rw-r--r-- 6771 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLX.v
-rw-r--r-- 69884 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLX.vo
-rw-r--r-- 8884 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.v
-rw-r--r-- 88557 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.vo
-rw-r--r-- 51732 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Raux.v
-rw-r--r--186398 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Raux.vo
-rw-r--r-- 20992 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Zaux.v
-rw-r--r--110366 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Zaux.vo
-rw-r--r-- 3045 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_defs.v
-rw-r--r-- 41548 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_defs.vo
-rw-r--r-- 28249 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.v
-rw-r--r--153943 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.vo
-rw-r--r-- 11136 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.v
-rw-r--r-- 63973 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.vo
-rw-r--r-- 55268 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.v
-rw-r--r--204361 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.vo
-rw-r--r-- 29153 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.v
-rw-r--r--105458 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.vo
-rw-r--r-- 14605 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.v
-rw-r--r--101436 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.vo
-rw-r--r-- 59475 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.v
-rw-r--r--225448 root root /usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.vo
-rw-r--r-- 4379 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.v
-rw-r--r-- 45699 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.vo
-rw-r--r-- 9502 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.v
-rw-r--r-- 81875 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.vo
-rw-r--r-- 6937 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.v
-rw-r--r-- 71155 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.vo
-rw-r--r-- 15230 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.v
-rw-r--r-- 91510 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.vo
-rw-r--r-- 21174 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.v
-rw-r--r--102137 root root /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.vo
drwxr-xr-x 0 root root /usr/share/doc/coq-flocq
-rw-r--r-- 88 root root /usr/share/doc/coq-flocq/AUTHORS
-rw-r--r-- 7651 root root /usr/share/doc/coq-flocq/COPYING
-rw-r--r-- 8649 root root /usr/share/doc/coq-flocq/NEWS
-rw-r--r-- 405 root root /usr/share/doc/coq-flocq/README
drwxr-xr-x 0 root root /usr/share/doc/coq-flocq/html
-rw-r--r--377466 root root /usr/share/doc/coq-flocq/html/Flocq.Appli.Fappli_IEEE.html
-rw-r--r-- 93713 root root /usr/share/doc/coq-flocq/html/Flocq.Appli.Fappli_IEEE_bits.html
-rw-r--r--729186 root root /usr/share/doc/coq-flocq/html/Flocq.Appli.Fappli_double_round.html
-rw-r--r-- 89937 root root /usr/share/doc/coq-flocq/html/Flocq.Appli.Fappli_rnd_odd.html
-rw-r--r--133720 root root /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_bracket.html
-rw-r--r-- 7633 root root /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_digits.html
-rw-r--r-- 17548 root root /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_div.html
-rw-r--r-- 33071 root root /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_ops.html
-rw-r--r--190098 root root /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_round.html
-rw-r--r-- 17454 root root /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_sqrt.html
-rw-r--r-- 3620 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore.html
-rw-r--r-- 10735 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FIX.html
-rw-r--r-- 39335 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FLT.html
-rw-r--r-- 29156 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FLX.html
-rw-r--r-- 27048 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FTZ.html
-rw-r--r--336087 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_Raux.html
-rw-r--r--163236 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_Zaux.html
-rw-r--r-- 44204 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_defs.html
-rw-r--r--147796 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_digits.html
-rw-r--r-- 76606 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_float_prop.html
-rw-r--r--279484 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_generic_fmt.html
-rw-r--r--182418 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_rnd.html
-rw-r--r-- 33808 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_rnd_ne.html
-rw-r--r--220771 root root /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_ulp.html
-rw-r--r-- 6995 root root /usr/share/doc/coq-flocq/html/Flocq.Flocq_version.html
-rw-r--r-- 17295 root root /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_Sterbenz.html
-rw-r--r-- 21842 root root /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_div_sqrt_error.html
-rw-r--r-- 27559 root root /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_mult_error.html
-rw-r--r-- 69224 root root /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_plus_error.html
-rw-r--r--167751 root root /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_relative.html
-rw-r--r-- 6005 root root /usr/share/doc/coq-flocq/html/coqdoc.css
-rw-r--r--572957 root root /usr/share/doc/coq-flocq/html/index.html
-rw-r--r-- 6787 root root /usr/share/doc/coq-flocq/html/toc.html