Log In
rpms
/
Agda
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History .gitignore
Branch:
f30
epel7
f16
f17
f18
f19
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
main
rawhide
f30
.gitignore
update to 2.5.4.2
Jens Petersen
• 5 years ago
31025ad
update sources
Jens Petersen
• 5 years ago
054a111
update gitrev and geniplate-mirror
Jens Petersen
• 6 years ago
e8fe124
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