| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README | 320 | logplain |
| d--------- | cowles | 192 | logplain |
| d--------- | goerigk | 180 | logplain |
| d--------- | lusk-mccune | 123 | logplain |
| d--------- | manolios | 114 | logplain |
| d--------- | medina | 235 | logplain |
| d--------- | moore-manolios | 123 | logplain |
| d--------- | ruiz | 151 | logplain |
| d--------- | russinoff-kaufmann | 203 | logplain |
| d--------- | russinoff-short | 272 | logplain |
| d--------- | sawada | 79 | logplain |
| d--------- | shumsky | 196 | logplain |
| d--------- | sumners1 | 191 | logplain |
| d--------- | sumners2 | 191 | logplain |
| d--------- | wilding | 79 | logplain |
 |
index : acl2 | |
| Debian dgit repo for package acl2 |
| summaryrefslogtreecommitdiff |