satsolver-doc/ 0000755 0001314 0000314 00000000000 13747210336 013665 5 ustar vialette associe satsolver-doc/meta.json 0000644 0001314 0000314 00000000062 13747210336 015504 0 ustar vialette associe {"haddock_version":"2.20.0","quickjump_version":1} satsolver-doc/doc-index.html 0000644 0001314 0000314 00000053300 13747210336 016426 0 ustar vialette associe