Log In
rpms
/
Agda
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History sources
Branch:
1d4dc8f354dad49101fd8ba84e412a0516cc751c
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
1d4dc8f354dad49101fd8ba84e412a0516cc751c
sources
add tarballs
Jens Petersen
• 7 years ago
7d30bcc
update to 2.5.2
Jens Petersen
• 7 years ago
1072e25
update to 2.4.2.5
Jens Petersen
• 7 years ago
42b7c9e
update to 2.4.2.2
Jens Petersen
• 9 years ago
6984fbf
update to 2.4.2
Jens Petersen
• 9 years ago
d6f36b5
update to 2.3.2.2
Jens Petersen
• 10 years ago
039fa08
Agda hackage (ghc-Agda) replaces deprecated Agda-executable
Jens Petersen
• 10 years ago
c05cc5b
import (#710383)
Jens Petersen
• 11 years ago
1567c74
Initial setup of the repo
Fedora Release Engineering
• 11 years ago
18fff63