{"name":"vampire-prover","vers":"0.1.0","deps":[{"name":"vampire-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1ff07542016f571433fd2bfa67c9b4dbaedd67039dd00890688f6c10ae0aa3a7","features":{},"yanked":false,"pubtime":"2026-01-30T19:07:34Z"}
{"name":"vampire-prover","vers":"0.2.0","deps":[{"name":"vampire-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"66b945c03267d7f235d33c9e1c0961e8ff54e4b9a8d026c9f928b5565f62a4f8","features":{},"yanked":false,"pubtime":"2026-01-30T19:22:58Z"}
{"name":"vampire-prover","vers":"0.3.0","deps":[{"name":"vampire-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cb9b16f56eaf91e2d4576199214522f26586749d640ffc6ade6191653695421d","features":{},"yanked":false,"pubtime":"2026-02-03T17:54:42Z"}
{"name":"vampire-prover","vers":"0.3.1","deps":[{"name":"vampire-sys","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dab46db7c8916794d33477e32d038b03b01c4302fa9a8d94182a7304df5cca00","features":{},"yanked":false,"pubtime":"2026-02-05T17:26:24Z"}
{"name":"vampire-prover","vers":"0.3.2","deps":[{"name":"vampire-sys","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f2d0d19bbc19a70fd4b8d7d0c7359ed83a5a80841d023f2cb0651b69906688bb","features":{},"yanked":false,"pubtime":"2026-02-06T01:07:56Z"}
{"name":"vampire-prover","vers":"0.3.3","deps":[{"name":"vampire-sys","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5da4d4de1ad33ee42c4a0c180d20500ff57f3cedb19b24ab2b16ac0d2262ba7e","features":{},"yanked":false,"pubtime":"2026-02-06T06:55:51Z"}
{"name":"vampire-prover","vers":"0.4.0","deps":[{"name":"vampire-sys","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"86698c83cbf21e66ac1067162db99638aa6ff8eec2cf84d32994112bf5e3a3c7","features":{},"yanked":false,"pubtime":"2026-02-10T18:01:49Z"}
{"name":"vampire-prover","vers":"0.5.0","deps":[{"name":"vampire-sys","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a94cd8b7a1b4abd048e4eb0fe919c35095b3b523efd7037e82826dd8ce386ecb","features":{},"yanked":false,"pubtime":"2026-02-20T02:59:36Z"}
{"name":"vampire-prover","vers":"0.5.1","deps":[{"name":"vampire-sys","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a4da8d433d6a112162f99478f0608f1b6b178d4151f9bcac8ba1cdcf03c591d8","features":{},"yanked":false,"pubtime":"2026-02-22T17:29:20Z"}