Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sun, 02 Jun 2024 04:32:16 UTC |
login
Information for RPM
why3-examples-1.7.1-2.fc40.noarch.rpm
ID
1264447
Name
why3-examples
Version
1.7.1
Release
2.fc40
Epoch
Arch
noarch
Summary
Example inputs
Description
Example source code with why3 annotations.
Build Time
2024-03-26 16:25:48 GMT
Size
4.04 MB
SIGMD5
b1d79a50fe43d96958e14786e936d667
License
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildroot
f40-build-797900-141532
Provides
why3-examples = 1.7.1-2.fc40
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
why3 = 1.7.1-2.fc40
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
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
<<<
51 through 100 of 2062
>>>
Name
Size
/usr/share/doc/why3-examples/examples/algo63
0.00 B
/usr/share/doc/why3-examples/examples/algo63.mlw
2.85 KB
/usr/share/doc/why3-examples/examples/algo63/why3session.xml
9.97 KB
/usr/share/doc/why3-examples/examples/algo63/why3shapes.gz
4.30 KB
/usr/share/doc/why3-examples/examples/algo64
0.00 B
/usr/share/doc/why3-examples/examples/algo64.mlw
1.65 KB
/usr/share/doc/why3-examples/examples/algo64/why3session.xml
2.59 KB
/usr/share/doc/why3-examples/examples/algo64/why3shapes.gz
1006.00 B
/usr/share/doc/why3-examples/examples/algo65
0.00 B
/usr/share/doc/why3-examples/examples/algo65.mlw
1.75 KB
/usr/share/doc/why3-examples/examples/algo65/why3session.xml
6.71 KB
/usr/share/doc/why3-examples/examples/algo65/why3shapes.gz
2.23 KB
/usr/share/doc/why3-examples/examples/all_distinct
0.00 B
/usr/share/doc/why3-examples/examples/all_distinct.mlw
1.04 KB
/usr/share/doc/why3-examples/examples/all_distinct/why3session.xml
589.00 B
/usr/share/doc/why3-examples/examples/all_distinct/why3shapes.gz
467.00 B
/usr/share/doc/why3-examples/examples/amortization
0.00 B
/usr/share/doc/why3-examples/examples/amortization.mlw
1.82 KB
/usr/share/doc/why3-examples/examples/amortization/why3session.xml
2.62 KB
/usr/share/doc/why3-examples/examples/amortization/why3shapes.gz
1.14 KB
/usr/share/doc/why3-examples/examples/arm
0.00 B
/usr/share/doc/why3-examples/examples/arm.mlw
2.83 KB
/usr/share/doc/why3-examples/examples/arm/why3session.xml
962.00 B
/usr/share/doc/why3-examples/examples/arm/why3shapes.gz
645.00 B
/usr/share/doc/why3-examples/examples/array_most_frequent
0.00 B
/usr/share/doc/why3-examples/examples/array_most_frequent.mlw
990.00 B
/usr/share/doc/why3-examples/examples/array_most_frequent/why3session.xml
3.99 KB
/usr/share/doc/why3-examples/examples/array_most_frequent/why3shapes.gz
1.16 KB
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs
0.00 B
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs.mlw
1.09 KB
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3session.xml
879.00 B
/usr/share/doc/why3-examples/examples/assigning_meanings_to_programs/why3shapes.gz
393.00 B
/usr/share/doc/why3-examples/examples/avl
0.00 B
/usr/share/doc/why3-examples/examples/avl/avl
0.00 B
/usr/share/doc/why3-examples/examples/avl/avl.mlw
24.50 KB
/usr/share/doc/why3-examples/examples/avl/avl/why3session.xml
22.80 KB
/usr/share/doc/why3-examples/examples/avl/avl/why3shapes.gz
14.42 KB
/usr/share/doc/why3-examples/examples/avl/key_type
0.00 B
/usr/share/doc/why3-examples/examples/avl/key_type.mlw
423.00 B
/usr/share/doc/why3-examples/examples/avl/key_type/why3session.xml
274.00 B
/usr/share/doc/why3-examples/examples/avl/key_type/why3shapes.gz
45.00 B
/usr/share/doc/why3-examples/examples/avl/monoid
0.00 B
/usr/share/doc/why3-examples/examples/avl/monoid.mlw
1.85 KB
/usr/share/doc/why3-examples/examples/avl/monoid/why3session.xml
1.54 KB
/usr/share/doc/why3-examples/examples/avl/monoid/why3shapes.gz
560.00 B
/usr/share/doc/why3-examples/examples/avl/preorder
0.00 B
/usr/share/doc/why3-examples/examples/avl/preorder.mlw
1.36 KB
/usr/share/doc/why3-examples/examples/avl/preorder/why3session.xml
1.30 KB
/usr/share/doc/why3-examples/examples/avl/preorder/why3shapes.gz
366.00 B
/usr/share/doc/why3-examples/examples/avl/priority_queue
0.00 B
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.