| Name | Size | Modified | Perms | Actions | |
|---|---|---|---|---|---|
| examples | --- | March 07 2023 06:54:47. | 0755 | ||
| scripts | --- | March 07 2023 06:54:47. | 0755 | ||
| README.Debian.gz | 411 bytes | August 16 2022 18:38:38. | 0644 | ||
| README.gz | 1.91 KB | April 15 2008 15:12:56. | 0644 | ||
| TODO.gz | 5.68 KB | January 09 2007 20:03:34. | 0644 | ||
| changelog.Debian.gz | 2.23 KB | February 28 2023 13:04:02. | 0644 | ||
| copyright | 1.25 KB | August 16 2022 18:38:38. | 0644 | ||
| tech_report.tex.gz | 5.38 KB | November 23 1998 00:30:27. | 0644 |