rpms/Agda
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
159 commits 36 branches 0 tags 176 KiB

Default branch

rawhide

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

Branches

main

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

0
0
 Included
 ZIP  TAR.GZ
f43

4a50bc87bb · Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild · Updated 2025-07-23 15:41:04 +00:00    rpms

1
0
 Included
 ZIP  TAR.GZ
f42

d6d8fa2900 · Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild · Updated 2025-01-20 07:19:53 +00:00    rpms

6
0
 Included
 ZIP  TAR.GZ
epel10

59158d61c7 · description: do not downcase "It" after colon · Updated 2024-07-21 10:48:15 +00:00    rpms

9
0
 Included
 ZIP  TAR.GZ
epel10.0

59158d61c7 · description: do not downcase "It" after colon · Updated 2024-07-21 10:48:15 +00:00    rpms

9
0
 Included
 ZIP  TAR.GZ
epel10.1

59158d61c7 · description: do not downcase "It" after colon · Updated 2024-07-21 10:48:15 +00:00    rpms

9
0
 Included
 ZIP  TAR.GZ
f41

59158d61c7 · description: do not downcase "It" after colon · Updated 2024-07-21 10:48:15 +00:00    rpms

9
0
 Included
 ZIP  TAR.GZ
f40

7f51bce47f · Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild · Updated 2024-01-22 20:43:16 +00:00    rpms

17
0
 Included
 ZIP  TAR.GZ
f39

6100f35886 · update to 2.6.3 · Updated 2023-07-29 15:13:00 +00:00    rpms

25
0
 Included
 ZIP  TAR.GZ
f38

659376cb02 · bump release · Updated 2023-02-17 16:53:34 +00:00    rpms

29
0
 Included
 ZIP  TAR.GZ
f37

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

33
0
 Included
 ZIP  TAR.GZ
epel9

5383d0287c · add Provides agda · Updated 2022-06-20 05:57:27 +00:00    rpms

34
0
 Included
 ZIP  TAR.GZ
f36

f21a1029c6 · update to 2.6.2.1 · Updated 2022-03-07 05:13:30 +00:00    rpms

37
0
 Included
 ZIP  TAR.GZ
f35

af39028c46 · disable armv7hl: out of memory (#73471404) · Updated 2021-08-08 18:11:36 +00:00    rpms

40
0
 Included
 ZIP  TAR.GZ
f32

1f940a6fc1 · build Agda with -O0 on armv7 (backport fix from f33) · Updated 2021-02-01 08:11:55 +00:00    rpms

60
2
 ZIP  TAR.GZ
f34

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

49
0
 Included
 ZIP  TAR.GZ
f33

147e1019eb · remove uri-encode from sources · Updated 2020-09-03 07:50:43 +00:00    rpms

51
0
 Included
 ZIP  TAR.GZ
f31

2c0f7876b1 · really really disable i686 prof · Updated 2019-08-06 06:46:41 +00:00    rpms

63
0
 Included
 ZIP  TAR.GZ
f30

31025ad40c · update to 2.5.4.2 · Updated 2019-02-25 02:27:50 +00:00    rpms

71
0
 Included
 ZIP  TAR.GZ
epel8

054a111019 · update sources · Updated 2018-07-31 08:35:02 +00:00    rpms

74
0
 Included
 ZIP  TAR.GZ