10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp/windows
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover



2011-06-09T04:28:54.922211Z
1336
trevor_hansen














e59a4935-1847-0410-ae03-e826735625c1

cmakemods
dir

winports
dir

README
file




2011-12-13T02:40:33.000000Z
016d56a46adb9784f9f85abe65ba71f8
2011-06-09T04:28:54.922211Z
1336
trevor_hansen





















99

r446-winport.patch
file




2011-12-13T02:40:33.000000Z
18ac0891da74d0189c325ad2deecaa5a
2011-06-09T04:28:54.922211Z
1336
trevor_hansen





















35055

