Index of /debian/acl2/acl2-8.3dfsg/bin/

../
make-fancy-manual.sh                               16-Apr-2020 14:22                2988
make-tags-acl2-doc.sh                              16-Apr-2020 14:22                 192
pull.sh                                            16-Apr-2020 14:22                 683
purity.sh                                          16-Apr-2020 14:22                2079