Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sat, 05 Oct 2024 09:13:38 UTC |
login
Information for RPM
apron-devel-0.9.14-5.fc40.riscv64.rpm
ID
1260111
Name
apron-devel
Version
0.9.14
Release
5.fc40
Epoch
Arch
riscv64
Summary
Development files for apron
Description
The apron-devel package contains libraries and signature files for developing applications that use apron.
Build Time
2024-03-22 14:23:27 GMT
Size
672.73 KB
SIGMD5
b88bfdac23f3a8db5be78b5c247d6c7b
License
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later
Buildroot
f40-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:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
<<<
251 through 300 of 705
>>>
Name
Size
/usr/share/doc/apron-devel/apron/Intervals.html
19.62 KB
/usr/share/doc/apron-devel/apron/Introduction-to-APRON.html
5.24 KB
/usr/share/doc/apron-devel/apron/Lattice-operations.html
921.00 B
/usr/share/doc/apron-devel/apron/Level-0-of-the-interface.html
3.51 KB
/usr/share/doc/apron-devel/apron/Level-1-of-the-interface.html
4.56 KB
/usr/share/doc/apron-devel/apron/Linear-constraints-of-level-0.html
19.20 KB
/usr/share/doc/apron-devel/apron/Linear-constraints-of-level-1.html
26.78 KB
/usr/share/doc/apron-devel/apron/Linear-expressions-of-level-0.html
39.63 KB
/usr/share/doc/apron-devel/apron/Linear-expressions-of-level-1.html
35.31 KB
/usr/share/doc/apron-devel/apron/MakingLibrary.html
4.88 KB
/usr/share/doc/apron-devel/apron/Manager-options.html
833.00 B
/usr/share/doc/apron-devel/apron/Managers-and-Abstract-Domains.html
3.52 KB
/usr/share/doc/apron-devel/apron/Managers.html
16.61 KB
/usr/share/doc/apron-devel/apron/Manipulating-changes-of-dimensions.html
997.00 B
/usr/share/doc/apron-devel/apron/Manipulating-permutations-of-dimensions.html
1.00 KB
/usr/share/doc/apron-devel/apron/Meet-and-Join-of-abstract-values-of-level-0.html
1.04 KB
/usr/share/doc/apron-devel/apron/Meet-and-Join-of-abstract-values-of-level-1.html
1.04 KB
/usr/share/doc/apron-devel/apron/Memory-management.html
859.00 B
/usr/share/doc/apron-devel/apron/NewPolka-standard-options.html
893.00 B
/usr/share/doc/apron-devel/apron/NewPolka.html
26.38 KB
/usr/share/doc/apron-devel/apron/Number-representation.html
883.00 B
/usr/share/doc/apron-devel/apron/OCaml-Programming-Guidelines.html
3.30 KB
/usr/share/doc/apron-devel/apron/Oct.html
2.14 KB
/usr/share/doc/apron-devel/apron/Operations-on-dimensions.html
957.00 B
/usr/share/doc/apron-devel/apron/Operations-on-environments.html
969.00 B
/usr/share/doc/apron-devel/apron/Operations-on-tree-constraints-of-level-1.html
1.00 KB
/usr/share/doc/apron-devel/apron/Operations-on-tree-expressions-of-level-1.html
1.00 KB
/usr/share/doc/apron-devel/apron/Operations-on-variables-in-abstract-values.html
1.04 KB
/usr/share/doc/apron-devel/apron/Other-datatypes.html
903.00 B
/usr/share/doc/apron-devel/apron/Other-functions-on-linear-expressions-of-level-0.html
1.05 KB
/usr/share/doc/apron-devel/apron/Other-operations-on-coefficients.html
943.00 B
/usr/share/doc/apron-devel/apron/Other-operations-on-intervals.html
919.00 B
/usr/share/doc/apron-devel/apron/Other-operations-on-scalars.html
903.00 B
/usr/share/doc/apron-devel/apron/Other-operations.html
909.00 B
/usr/share/doc/apron-devel/apron/PPL.html
9.51 KB
/usr/share/doc/apron-devel/apron/PPLite.html
10.28 KB
/usr/share/doc/apron-devel/apron/Printing-abstract-values-of-level-0.html
1019.00 B
/usr/share/doc/apron-devel/apron/Printing-abstract-values-of-level-1.html
1019.00 B
/usr/share/doc/apron-devel/apron/Printing.html
861.00 B
/usr/share/doc/apron-devel/apron/Programming-language.html
877.00 B
/usr/share/doc/apron-devel/apron/Programming-style.html
859.00 B
/usr/share/doc/apron-devel/apron/Property-extraction.html
927.00 B
/usr/share/doc/apron-devel/apron/Representation-of-an-abstract-value.html
1023.00 B
/usr/share/doc/apron-devel/apron/Scalars-_0026-Intervals-_0026-Coefficients.html
2.67 KB
/usr/share/doc/apron-devel/apron/Scalars.html
21.72 KB
/usr/share/doc/apron-devel/apron/Semantics-and-Representation-of-an-abstract-value.html
1.08 KB
/usr/share/doc/apron-devel/apron/Semantics-of-an-abstract-value.html
993.00 B
/usr/share/doc/apron-devel/apron/Sequel-of-the-small-example.html
937.00 B
/usr/share/doc/apron-devel/apron/Serialization-of-abstract-values-of-level-0.html
1.04 KB
/usr/share/doc/apron-devel/apron/Serialization-of-abstract-values-of-level-1.html
1.04 KB
Component of
1 through 1 of 1
Buildroot
Created
State
f40-build-797900-141532
2024-03-26 15:56:26
Copyright © 2006-2016 Red Hat, Inc.