rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
130 Commits 29 Branches 0 Tags 141 KiB

Default Branch

rawhide

659376cb02 · bump release · Updated 2023-02-17 16:53:34 +00:00
 ZIP  TAR.GZ

Branches

f38-riscv64

adb72f2d96 · Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: · Updated 2023-06-26 11:28:33 +00:00
0
1
 ZIP  TAR.GZ
f38

659376cb02 · bump release · Updated 2023-02-17 16:53:34 +00:00
0
0
 Included
 ZIP  TAR.GZ
main

659376cb02 · bump release · Updated 2023-02-17 16:53:34 +00:00
0
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
4
0
 Included
 ZIP  TAR.GZ
epel9

5383d0287c · add Provides agda · Updated 2022-06-20 05:57:27 +00:00
5
0
 Included
 ZIP  TAR.GZ
f36

f21a1029c6 · update to 2.6.2.1 · Updated 2022-03-07 05:13:30 +00:00
8
0
 Included
 ZIP  TAR.GZ
f35

af39028c46 · disable armv7hl: out of memory (#73471404) · Updated 2021-08-08 18:11:36 +00:00
11
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
31
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
20
0
 Included
 ZIP  TAR.GZ
f33

147e1019eb · remove uri-encode from sources · Updated 2020-09-03 07:50:43 +00:00
22
0
 Included
 ZIP  TAR.GZ
f31

2c0f7876b1 · really really disable i686 prof · Updated 2019-08-06 06:46:41 +00:00
34
0
 Included
 ZIP  TAR.GZ
f30

31025ad40c · update to 2.5.4.2 · Updated 2019-02-25 02:27:50 +00:00
42
0
 Included
 ZIP  TAR.GZ
epel8

054a111019 · update sources · Updated 2018-07-31 08:35:02 +00:00
45
0
 Included
 ZIP  TAR.GZ
f29

054a111019 · update sources · Updated 2018-07-31 08:35:02 +00:00
45
0
 Included
 ZIP  TAR.GZ
f28

a9910c7a85 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild · Updated 2018-02-07 00:24:22 +00:00
49
0
 Included
 ZIP  TAR.GZ
f27

5bc04f5759 · gitrev is now packaged · Updated 2017-11-15 03:44:12 +00:00
58
0
 Included
 ZIP  TAR.GZ
f26

04232b3527 · rebuild · Updated 2017-03-13 03:15:19 +00:00
63
0
 Included
 ZIP  TAR.GZ
f25

540194fe1a · disable dynlink on aarch64 · Updated 2016-10-07 01:58:49 +00:00
76
0
 Included
 ZIP  TAR.GZ
f24

ec50775e58 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild · Updated 2016-02-03 15:18:58 +00:00
88
0
 Included
 ZIP  TAR.GZ
f23

03df3e13ed · drop emacs subpackages (#1234569) · Updated 2015-07-22 06:27:45 +00:00
89
0
 Included
 ZIP  TAR.GZ