rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
66 commits 29 branches 0 tags 73 KiB

Default branch

rawhide

fef6782f21 · Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild · Updated 2026-01-16 02:27:29 +00:00
 ZIP  TAR.GZ

Branches

main

fef6782f21 · Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild · Updated 2026-01-16 02:27:29 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
f43

52f1ede6b8 · https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md · Updated 2025-08-11 09:35:31 +00:00    rpms

1
0
 Included
 ZIP  TAR.GZ
f42

45f49e4ca8 · Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild · Updated 2025-01-20 07:20:04 +00:00    rpms

4
0
 Included
 ZIP  TAR.GZ
f41

6a21abb434 · Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild · Updated 2024-07-17 14:43:02 +00:00    rpms

6
0
 Included
 ZIP  TAR.GZ
f40

98c46c32fa · Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild · Updated 2024-01-22 20:43:26 +00:00    rpms

8
0
 Included
 ZIP  TAR.GZ
f39

ed3cf90519 · https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md · Updated 2023-07-28 04:03:20 +00:00    rpms

13
0
 Included
 ZIP  TAR.GZ
f38

8234f3137c · also exclude i686 · Updated 2023-02-21 04:13:10 +00:00    rpms

17
0
 Included
 ZIP  TAR.GZ
f37

61962e06bf · Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild · Updated 2022-07-20 18:26:09 +00:00    rpms

20
0
 Included
 ZIP  TAR.GZ
epel9

a68f6b74d1 · rebuild against Agda-2.6.2.2 · Updated 2022-06-21 01:49:47 +00:00    rpms

21
0
 Included
 ZIP  TAR.GZ
f36

0edd850746 · update to 1.7.1 · Updated 2022-03-09 14:35:57 +00:00    rpms

22
0
 Included
 ZIP  TAR.GZ
f35

0efab68751 · exclude armv7hl · Updated 2021-08-09 12:04:06 +00:00    rpms

24
0
 Included
 ZIP  TAR.GZ
f34

f0832c6a1c · - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild · Updated 2021-01-25 22:15:36 +00:00    rpms

28
0
 Included
 ZIP  TAR.GZ
f33

c7c6fe2383 · include _build/ for .agdai files; move Everything/README to docs · Updated 2020-08-24 11:56:51 +00:00    rpms

29
0
 Included
 ZIP  TAR.GZ
f32

92e4cb1122 · requires Agda instead of ghc-Agda now · Updated 2020-06-22 09:19:24 +00:00    rpms

35
1
 ZIP  TAR.GZ
f31

ed74755a2e · add upstream issue link · Updated 2019-08-20 20:26:46 +00:00    rpms

36
0
 Included
 ZIP  TAR.GZ
f30

dc5818e4df · update to 0.17 · Updated 2019-02-25 02:52:33 +00:00    rpms

40
0
 Included
 ZIP  TAR.GZ
f28

6fa5d455ee · require ghc-Agda and keep README*.agdai · Updated 2018-08-28 16:39:53 +00:00    rpms

43
0
 Included
 ZIP  TAR.GZ
f29

6fa5d455ee · require ghc-Agda and keep README*.agdai · Updated 2018-08-28 16:39:53 +00:00    rpms

43
0
 Included
 ZIP  TAR.GZ
f27

a91c8b4fc8 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild · Updated 2017-08-02 16:46:47 +00:00    rpms

48
0
 Included
 ZIP  TAR.GZ
f26

9c807f8c02 · BR filemanip and more cleanup · Updated 2017-03-12 13:58:46 +00:00    rpms

51
0
 Included
 ZIP  TAR.GZ