Commits - rpms/Agda - src.fedoraproject.org

rebuild

Jens Petersen • 7 years ago

04232b3

set LD_LIBRARY_PATH for compiling .agda files

Jens Petersen • 7 years ago

d5e4024

compile .agda files are buildtime

Jens Petersen • 7 years ago

8982741

armv7hl still fails (#991929)

Jens Petersen • 7 years ago

4e6c542

EdisonCore needs QuickCheck

Jens Petersen • 7 years ago

1d4dc8f

add tarballs

Jens Petersen • 7 years ago

7d30bcc

subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash

Jens Petersen • 7 years ago

64f0903

update to 2.5.2

Jens Petersen • 7 years ago

1072e25

refresh packaging

Jens Petersen • 7 years ago

4feb709

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

Fedora Release Engineering • 7 years ago

63da85a

build subpackage inside main package

Jens Petersen • 7 years ago

d76f81b

drop build topdir

Jens Petersen • 7 years ago

1086509

use cabal-tweak-dep-ver to bump cpphs

Jens Petersen • 7 years ago

1bb4e49

disable dynlink on aarch64

Jens Petersen • 7 years ago

540194f

disable armv7hl again (#991929)

Jens Petersen • 7 years ago

7be71ac

final build fixes

Jens Petersen • 7 years ago

4f10ceb

mention enable arm in changelog

Jens Petersen • 7 years ago

c4dd38e

add patch for HashMap

Jens Petersen • 7 years ago

ac0a362

apply cpphs patch

Jens Petersen • 7 years ago

afe3c95

allow cpphs-1.20

Jens Petersen • 7 years ago

6ceb8aa

update to 2.4.2.5

Jens Petersen • 7 years ago

42b7c9e

use %license

Jens Petersen • 7 years ago

12a5988

no longer remove license

Jens Petersen • 7 years ago

8b9cf04

drop redundant exclusivearch %ghc_arches_with_ghci

Jens Petersen • 8 years ago

2219348

drop %ghc_arches_with_ghci

Jens Petersen • 8 years ago

290b41f

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

Dennis Gilmore • 8 years ago

ec50775

drop emacs subpackages (#1234569)

Jens Petersen • 8 years ago

03df3e1

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

Dennis Gilmore • 8 years ago

1d37c18

move agda from ghc-Agda-devel to ghc-Agda

Jens Petersen • 9 years ago

425f93e

compile Primitive.agda at install time

Jens Petersen • 9 years ago

e7f568a

compile Primitive.agda

Jens Petersen • 9 years ago

67405aa

disable arm again (#991929)

Jens Petersen • 9 years ago

d547e50

update doc files list

Jens Petersen • 9 years ago

ecc9570

enable arm and build in utf8

Jens Petersen • 9 years ago

8faac28

update to 2.4.2.2

Jens Petersen • 9 years ago

6984fbf

cblrpm refresh

Jens Petersen • 9 years ago

558558b

update to 2.4.2

Jens Petersen • 9 years ago

d6f36b5

bring back emacs(bin) BR

Jens Petersen • 9 years ago

6848da0

fix deps for ftbfs

Peter Robinson • 9 years ago

ca128ef

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

Peter Robinson • 9 years ago

2555551

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

Dennis Gilmore • 9 years ago

c329815

no _pkgdocdir in EL7

Jens Petersen • 10 years ago

f86c6a6

exclude archs without ghci since geniplate uses template-haskell (#1038068)

Jens Petersen • 10 years ago

e6f563d

update to 2.3.2.2

Jens Petersen • 10 years ago

039fa08

drop defattr's

Jens Petersen • 10 years ago

4ea8724

rebuild

Jens Petersen • 10 years ago

0ecfc19

BR emacs now instead of emacs-haskell-mode

Jens Petersen • 10 years ago

f518914

emacs agda-mode no longer needs haskell-mode

Jens Petersen • 10 years ago

f970b43

compile agda2-queue.el; exclude armv7hl since TemplateHaskell broken

Jens Petersen • 10 years ago

1c2e957

rpms / Agda

Commits 67

rpms / Agda

Source Code

Commits 67