xref
: /
dports
/
math
/
hs-Agda
/
Agda-2.6.2
/
_cabal_deps
/
gitrev-1.3.1
/
Home
History
Annotate
current directory
Name
Date
Size
#Lines
LOC
..
03-May-2022
-
src/
Development
/
H
17-Mar-2017
-
181
104
LICENSE
H
A
D
17-Mar-2017
1.4 KiB
29
22
Setup.hs
H
A
D
17-Mar-2017
46
3
2
gitrev.cabal
H
A
D
17-Mar-2017
1.2 KiB
29
27