Inicio Explorar Ayuda
Iniciar sesión
dfanfdsanfdsa
/
ood-ports-lbsd-fork1
forked de jimmy/ood-ports-lbsd
Seguir 1
Destacar 0
Fork 0
Archivos
Rama: master
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  espie 0662a4e9d6 PERMIT_* / REGRESS->TEST sweep hace 12 años
  naddy 055eb23368 properly honor CC/CFLAGS hace 13 años
  jasper bc895bff08 missing bump hace 13 años
  jasper 6e4ac2d1c5 - tweak MASTER_SITES hace 13 años
  jasper eec0417831 bump after default python version switch hace 13 años
  jasper 2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system hace 14 años