Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Information for RPM
Agda-stdlib-1.7.3-9.fc42.noarch.rpm
ID
6508
Build
Agda-stdlib-1.7.3-9.fc42
Name
Agda-stdlib
Version
1.7.3
Release
9.fc42
Epoch
Arch
noarch
Draft
False
Summary
Agda standard libraries
Description
Agda standard libraries
Build Time
2025-01-20 07:25:30 GMT
Size
122.83 MB
SIGMD5
1461178b1165fd520cc4ab3451adeaf4
License
MIT
Provides
Agda-stdlib = 1.7.3-9.fc42
agda-stdlib = 1.7.3-9.fc42
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
Agda = 2.6.4.3
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
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
43
44
45
46
47
48
49
50
51
52
1 through 50 of 2594
>>>
Name
Size
/usr/share/Agda-stdlib
0.00 B
/usr/share/Agda-stdlib/_build
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/Everything.agdai
2.82 MB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/EverythingSafe.agdai
2.18 MB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README.agdai
822.54 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Axiom.agdai
16.26 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Case.agdai
108.23 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data.agdai
514.88 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Container
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Container/FreeMonad.agdai
72.30 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Container/Indexed.agdai
87.60 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Integer.agdai
89.85 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List.agdai
148.32 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Fresh.agdai
56.56 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Membership.agdai
64.18 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Binary
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Binary/Equality.agdai
145.51 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Binary/Permutation.agdai
99.11 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Binary/Pointwise.agdai
45.09 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Binary/Subset.agdai
49.47 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Ternary
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Ternary/Interleaving.agdai
100.99 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Unary
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Unary/All.agdai
95.39 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/List/Relation/Unary/Any.agdai
92.98 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Nat
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Nat.agdai
90.37 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Nat/Induction.agdai
64.95 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Record.agdai
78.39 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Tree
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Tree/AVL.agdai
196.65 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Trie
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Trie/NonDependent.agdai
154.80 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Data/Wrap.agdai
338.67 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Debug
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Debug/Trace.agdai
32.24 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Design
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Design/Decidability.agdai
203.11 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Design/Hierarchies.agdai
94.42 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Foreign
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Foreign/Haskell.agdai
105.82 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Function
0.00 B
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/Function/Reasoning.agdai
89.78 KB
/usr/share/Agda-stdlib/_build/2.6.4.3/agda/README/IO.agdai
68.35 KB
Component of
No Buildroots
