xref
: /
dports
/
math
/
hs-Agda
/
Agda-2.6.2
/
_cabal_deps
/
regex-tdfa-1.3.1.0
/
Home
History
Annotate
current directory
Name
Date
Size
#Lines
LOC
..
03-May-2022
-
lib
/
H
03-May-2022
-
6,208
3,833
test
/
H
09-Sep-2001
-
205
158
CHANGELOG.md
H
A
D
09-Sep-2001
3.8 KiB
193
105
LICENSE
H
A
D
09-Sep-2001
1.5 KiB
13
8
regex-tdfa.cabal
H
A
D
03-May-2022
6.3 KiB
173
149