rpms / Agda

Clone
Source Code
GIT

Commits 29

epel7 epel8 epel9 f16 f17 f18 f19 f20 f21 f22 f23 f24 f25 f26 f27 f28 f29 f30 f31 f32 f33 f34 f35 f36 f37 f38 f39 f40 main rawhide
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
replace ghc_docdir by _pkgdocdir
Jens Petersen • 10 years ago  
dee2bbc
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
Dennis Gilmore • 10 years ago  
4edfb4e
use ghc_docdir
Jens Petersen • 10 years ago  
b26047f
just remove the license file from the base pkg
Jens Petersen • 10 years ago  
d7c1d5f
move LICENSE file to shared subpkg
Jens Petersen • 10 years ago  
c64c7b4
fix filelist names after pkg rename
Jens Petersen • 10 years ago  
3fef23a
add agda-mode-init.el from ghc-Agda
Jens Petersen • 10 years ago  
dd90507
Agda hackage (ghc-Agda) replaces deprecated Agda-executable
Jens Petersen • 10 years ago  
c05cc5b
rebuild
Jens Petersen • 11 years ago  
38b458c
rebuild
Jens Petersen • 11 years ago  
bd58951
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
Dennis Gilmore • 11 years ago  
3b28604
rebuild
Jens Petersen • 11 years ago  
e9c90f6
remove ExclusiveArch ghc_arches_with_ghci
Jens Petersen • 11 years ago  
9e1a47c
rebuild
Jens Petersen • 11 years ago  
1e1c6bd
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
Dennis Gilmore • 11 years ago  
5c578a5
note emacs-agda interactive environment in description
Jens Petersen • 11 years ago  
7d0ed70
import (#710383)
Jens Petersen • 11 years ago  
1567c74
Initial setup of the repo
Fedora Release Engineering • 11 years ago  
18fff63
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.