10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp/windows/cmakemods
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

slibgcc.cmake
file




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





















1870

msvcmt.cmake
file




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





















1634

staticrt.cmake
file




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





















228

