/lib/pregexp-20050502/ default tip
drwxr-xr-x [up]
drwxr-xr-x dialects
drwxr-xr-x known-bugs
-rw-r--r-- 2019-01-16 17:15 +0000 255 COPYING
-rw-r--r-- 2019-01-16 17:15 +0000 1943 INSTALL
-rw-r--r-- 2019-01-16 17:15 +0000 1482 README
-rw-r--r-- 2019-01-16 17:15 +0000 9245 history
-rw-r--r-- 2019-01-16 17:15 +0000 160 manifest
-rw-r--r-- 2019-01-16 17:15 +0000 9797 pregexp-test.scm
-rw-r--r-- 2019-01-16 17:15 +0000 697 pregexp.bib
-rw-r--r-- 2019-01-16 17:15 +0000 29143 pregexp.cl
-rw-r--r-- 2019-01-16 17:15 +0000 34343 pregexp.scm
-rw-r--r-- 2019-01-16 17:15 +0000 34622 pregexp.tex
-rw-r--r-- 2019-01-16 17:15 +0000 1202 tester.cl
-rw-r--r-- 2019-01-16 17:15 +0000 1164 tester.scm