From 9835e2ae736235810b4ea1c162ca5e65c547e770 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 18 May 2024 04:49:50 +0200 Subject: Merging upstream version 1.71.1+dfsg1. Signed-off-by: Daniel Baumann --- vendor/varisat-formula/.cargo-checksum.json | 1 + 1 file changed, 1 insertion(+) create mode 100644 vendor/varisat-formula/.cargo-checksum.json (limited to 'vendor/varisat-formula/.cargo-checksum.json') diff --git a/vendor/varisat-formula/.cargo-checksum.json b/vendor/varisat-formula/.cargo-checksum.json new file mode 100644 index 000000000..5a8f04c10 --- /dev/null +++ b/vendor/varisat-formula/.cargo-checksum.json @@ -0,0 +1 @@ +{"files":{"Cargo.toml":"c943e8d189f309cd09753e1189808d19d2070c83031d92948bebff970c387a7d","LICENSE-APACHE":"a60eea817514531668d7e00765731449fe14d059d3249e0bc93b36de45f759f2","LICENSE-MIT":"2259cbb177661977dd5510c05a8670da3cb28aa7f4ff74c193798db496fe92d8","README.md":"3d795a656b8db4a6ddd2e94677f72f874091701ce1a0dc86efe3138f38899b7f","src/cnf.rs":"ba44edb2c1d84c1dd749c2b4e4ed4146216c92f5f0d93a621c0ac72058fb2b0d","src/lib.rs":"4d6e4ea32cd2716dfbf2ed524f1f5a1a535083baff8b1c3e9131924f954331e1","src/lit.rs":"a0b558e33dbd136776aca06916cf7ce93879049c8756469546fada1d034b1d23","src/test.rs":"ba427106b9326ac4420beaa89c67786f6dc7d7efae6e11cc9476783473bf612e"},"package":"395c5543b9bfd9076d6d3af49d6c34a4b91b0b355998c0a5ec6ed7265d364520"} \ No newline at end of file -- cgit v1.2.3