Sat, 06 Jul 2024 17:34:53 UTC | login

Information for RPM apron-devel-0.9.14-5.fc40.riscv64.rpm

ID1260111
Nameapron-devel
Version0.9.14
Release5.fc40
Epoch
Archriscv64
SummaryDevelopment files for apron
DescriptionThe apron-devel package contains libraries and signature files for developing applications that use apron.
Build Time2024-03-22 14:23:27 GMT
Size672.73 KB
b88bfdac23f3a8db5be78b5c247d6c7b
LicenseLGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later
Buildrootf40-build-795989-140350
Provides
apron-devel = 0.9.14-5.fc40
apron-devel(riscv-64) = 0.9.14-5.fc40
bundled(js-jquery)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
apron(riscv-64) = 0.9.14-5.fc40
glpk-devel(riscv-64)
gmp-devel(riscv-64)
libap_pkgrid.so()(64bit)
libap_ppl.so()(64bit)
libap_pplite.so()(64bit)
libapron.so()(64bit)
libapronxx.so()(64bit)
libavoD.so()(64bit)
libavoMPQ.so()(64bit)
libboxD.so()(64bit)
libboxMPFR.so()(64bit)
libboxMPQ.so()(64bit)
libfppD.so()(64bit)
libfppDl.so()(64bit)
liboctD.so()(64bit)
liboctMPQ.so()(64bit)
libpolkaMPQ.so()(64bit)
libpolkaRll.so()(64bit)
libt1pD.so()(64bit)
libt1pMPFR.so()(64bit)
libt1pMPQ.so()(64bit)
mpfr-devel(riscv-64)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
<<< 251 through 300 of 705 >>>
Name ascending sort Size
/usr/share/doc/apron-devel/apron/Intervals.html19.62 KB
/usr/share/doc/apron-devel/apron/Introduction-to-APRON.html5.24 KB
/usr/share/doc/apron-devel/apron/Lattice-operations.html921.00 B
/usr/share/doc/apron-devel/apron/Level-0-of-the-interface.html3.51 KB
/usr/share/doc/apron-devel/apron/Level-1-of-the-interface.html4.56 KB
/usr/share/doc/apron-devel/apron/Linear-constraints-of-level-0.html19.20 KB
/usr/share/doc/apron-devel/apron/Linear-constraints-of-level-1.html26.78 KB
/usr/share/doc/apron-devel/apron/Linear-expressions-of-level-0.html39.63 KB
/usr/share/doc/apron-devel/apron/Linear-expressions-of-level-1.html35.31 KB
/usr/share/doc/apron-devel/apron/MakingLibrary.html4.88 KB
/usr/share/doc/apron-devel/apron/Manager-options.html833.00 B
/usr/share/doc/apron-devel/apron/Managers-and-Abstract-Domains.html3.52 KB
/usr/share/doc/apron-devel/apron/Managers.html16.61 KB
/usr/share/doc/apron-devel/apron/Manipulating-changes-of-dimensions.html997.00 B
/usr/share/doc/apron-devel/apron/Manipulating-permutations-of-dimensions.html1.00 KB
/usr/share/doc/apron-devel/apron/Meet-and-Join-of-abstract-values-of-level-0.html1.04 KB
/usr/share/doc/apron-devel/apron/Meet-and-Join-of-abstract-values-of-level-1.html1.04 KB
/usr/share/doc/apron-devel/apron/Memory-management.html859.00 B
/usr/share/doc/apron-devel/apron/NewPolka-standard-options.html893.00 B
/usr/share/doc/apron-devel/apron/NewPolka.html26.38 KB
/usr/share/doc/apron-devel/apron/Number-representation.html883.00 B
/usr/share/doc/apron-devel/apron/OCaml-Programming-Guidelines.html3.30 KB
/usr/share/doc/apron-devel/apron/Oct.html2.14 KB
/usr/share/doc/apron-devel/apron/Operations-on-dimensions.html957.00 B
/usr/share/doc/apron-devel/apron/Operations-on-environments.html969.00 B
/usr/share/doc/apron-devel/apron/Operations-on-tree-constraints-of-level-1.html1.00 KB
/usr/share/doc/apron-devel/apron/Operations-on-tree-expressions-of-level-1.html1.00 KB
/usr/share/doc/apron-devel/apron/Operations-on-variables-in-abstract-values.html1.04 KB
/usr/share/doc/apron-devel/apron/Other-datatypes.html903.00 B
/usr/share/doc/apron-devel/apron/Other-functions-on-linear-expressions-of-level-0.html1.05 KB
/usr/share/doc/apron-devel/apron/Other-operations-on-coefficients.html943.00 B
/usr/share/doc/apron-devel/apron/Other-operations-on-intervals.html919.00 B
/usr/share/doc/apron-devel/apron/Other-operations-on-scalars.html903.00 B
/usr/share/doc/apron-devel/apron/Other-operations.html909.00 B
/usr/share/doc/apron-devel/apron/PPL.html9.51 KB
/usr/share/doc/apron-devel/apron/PPLite.html10.28 KB
/usr/share/doc/apron-devel/apron/Printing-abstract-values-of-level-0.html1019.00 B
/usr/share/doc/apron-devel/apron/Printing-abstract-values-of-level-1.html1019.00 B
/usr/share/doc/apron-devel/apron/Printing.html861.00 B
/usr/share/doc/apron-devel/apron/Programming-language.html877.00 B
/usr/share/doc/apron-devel/apron/Programming-style.html859.00 B
/usr/share/doc/apron-devel/apron/Property-extraction.html927.00 B
/usr/share/doc/apron-devel/apron/Representation-of-an-abstract-value.html1023.00 B
/usr/share/doc/apron-devel/apron/Scalars-_0026-Intervals-_0026-Coefficients.html2.67 KB
/usr/share/doc/apron-devel/apron/Scalars.html21.72 KB
/usr/share/doc/apron-devel/apron/Semantics-and-Representation-of-an-abstract-value.html1.08 KB
/usr/share/doc/apron-devel/apron/Semantics-of-an-abstract-value.html993.00 B
/usr/share/doc/apron-devel/apron/Sequel-of-the-small-example.html937.00 B
/usr/share/doc/apron-devel/apron/Serialization-of-abstract-values-of-level-0.html1.04 KB
/usr/share/doc/apron-devel/apron/Serialization-of-abstract-values-of-level-1.html1.04 KB
Component of
1 through 1 of 1
Buildroot Created descending sort State
f40-build-797900-141532 2024-03-26 15:56:26 expired