 espie
|
511c5d230a
a few minor pkg_subst fixes, for the coming patch (disallow -c without -m
|
9 vuotta sitten |
 jasper
|
5c884092b6
remove a whole bunch more @rm -f cases
|
9 vuotta sitten |
|
espie
|
0662a4e9d6
PERMIT_* / REGRESS->TEST sweep
|
12 vuotta sitten |
|
espie
|
e820071495
normalize pkgpath
|
13 vuotta sitten |
|
jasper
|
bc895bff08
missing bump
|
13 vuotta sitten |
|
jasper
|
6e4ac2d1c5
- tweak MASTER_SITES
|
13 vuotta sitten |
|
jasper
|
eec0417831
bump after default python version switch
|
13 vuotta sitten |
|
jasper
|
2c96b38d8c
import Prover9, Mace4, and several related programs come packaged in a system
|
14 vuotta sitten |
