Commits - rpms/Agda - src.fedoraproject.org

add Provides agda

Jens Petersen • 10 days ago

5383d02

disable i686 (#2098425)

Jens Petersen • 11 days ago

31a616d

2.6.2.2

Jens Petersen • 23 days ago

f6f1c37

update to 2.6.2.1

Jens Petersen • 3 months ago

f21a102

- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

Fedora Release Engineering • 5 months ago

24e46c6

Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34

Miro Hrončok • 5 months ago

ff1d994

disable armv7hl: out of memory (#73471404)

Jens Petersen • 10 months ago

af39028

update to 2.6.2

Jens Petersen • 10 months ago

5d5c715

add reference to #991929 to armv7 -O0 condition

Jens Petersen • 10 months ago

7625567

cabal-rpm-2.0.9

Jens Petersen • 10 months ago

3e99f24

update to 2.6.1.3

Jens Petersen • 10 months ago

99d2241

move libs and data files to common subpackage again

Jens Petersen • 10 months ago

14d6c0b

update geniplate-mirror to 0.7.7

Jens Petersen • 10 months ago

63734ce

- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Fedora Release Engineering • 11 months ago

33b2b4d

- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Fedora Release Engineering • 11 months ago

300a13f

- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Fedora Release Engineering • a year ago

1786c87

Re-enable LTO

Jeff Law • 2 years ago

c9ed433

remove uri-encode from sources

Jens Petersen • 2 years ago

147e101

uri-encode has been packaged

Jens Petersen • 2 years ago

2869a2b

- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Fedora Release Engineering • 2 years ago

e0dc3e1

Disable LTO on s390

Jeff Law • 2 years ago

89dbda7

- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Fedora Release Engineering • 2 years ago

ac21eaf

enable armv7hl with -O0 (#991929)

Jens Petersen • 2 years ago

8b113d4

refresh to cabal-rpm-2.0.6

Jens Petersen • 2 years ago

02a60d6

update to 2.6.1

Jens Petersen • 2 years ago

a122f58

refresh to cabal-rpm-2.0.5

Jens Petersen • 2 years ago

36e744d

move agda and data to base package, dropping common

Jens Petersen • 2 years ago

c4c53b3

refresh to cabal-rpm-2.0.2

Jens Petersen • 2 years ago

0c76910

- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild

Fedora Release Engineering • 2 years ago

f23bc84

really really disable i686 prof

Jens Petersen • 2 years ago

2c0f787

really disable i686 prof

Jens Petersen • 2 years ago

d983678

prof panics on i686

Jens Petersen • 2 years ago

55fb1c2

subpkg deps need to be prof too

Jens Petersen • 2 years ago

9001425

BR prof for lib and static for executable

Jens Petersen • 2 years ago

6365bc3

update to 2.6.0.1

Jens Petersen • 2 years ago

13455a7

refresh to cabal-rpm-1.0.0: lib doc/prof subpkgs and bin static BRs

Jens Petersen • 2 years ago

93c5497

- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

Fedora Release Engineering • 2 years ago

64d8785

update to 2.5.4.2

Jens Petersen • 3 years ago

31025ad

refresh to cabal-rpm-0.13

Jens Petersen • 3 years ago

9e6df66

- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

Fedora Release Engineering • 3 years ago

381aecc

update sources

Jens Petersen • 3 years ago

054a111

add revised .cabal file

Jens Petersen • 3 years ago

fcada7d

newline for easier patching

Jens Petersen • 3 years ago

4221381

- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

Fedora Release Engineering • 3 years ago

168de37

- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild

Fedora Release Engineering • 4 years ago

a9910c7

drop ldconfig scriptlets

Jens Petersen • 4 years ago

8243be8

rpath tweaks for modules build

Jens Petersen • 4 years ago

803ef2a

refresh to cabal-rpm-0.12.1

Jens Petersen • 4 years ago

377de8f

uri-encode needs network-uri

Jens Petersen • 4 years ago

c450966

rpms / Agda

Commits 125

rpms / Agda

Source Code

Commits 125