Compare package versions

copra-theorem-prover

1.2.0__py3-none-any.whl → 1.3.0__py3-none-any.whl
May 31, 2026 18:00
1.1.17__tar.gz → 1.3.0__tar.gz
May 31, 2026 18:01
1.1.17__py3-none-any.whl → 1.3.0__py3-none-any.whl
May 31, 2026 18:00
1.1.17__tar.gz → 1.2.0__tar.gz
May 31, 2026 18:01
1.1.17__py3-none-any.whl → 1.2.0__py3-none-any.whl
May 31, 2026 18:01
1.1.16__py3-none-any.whl → 1.2.0__py3-none-any.whl
May 31, 2026 18:00
1.1.16__tar.gz → 1.2.0__tar.gz
May 31, 2026 18:01
1.1.16__py3-none-any.whl → 1.1.17__py3-none-any.whl
May 31, 2026 18:01
1.1.16__tar.gz → 1.1.17__tar.gz
May 31, 2026 18:01
1.1.15__tar.gz → 1.1.17__tar.gz
May 31, 2026 18:01
1.1.15__py3-none-any.whl → 1.1.17__py3-none-any.whl
May 31, 2026 18:00
1.1.15__tar.gz → 1.1.16__tar.gz
October 24, 2025 21:30
1.1.15__py3-none-any.whl → 1.1.16__py3-none-any.whl
October 24, 2025 21:30
1.1.14__py3-none-any.whl → 1.1.16__py3-none-any.whl
October 24, 2025 21:30
1.1.14__tar.gz → 1.1.16__tar.gz
October 24, 2025 21:30
1.1.14__py3-none-any.whl → 1.1.15__py3-none-any.whl
October 19, 2025 18:45
1.1.14__tar.gz → 1.1.15__tar.gz
October 19, 2025 18:46
1.1.13__py3-none-any.whl → 1.1.15__py3-none-any.whl
October 19, 2025 18:45
1.1.13__tar.gz → 1.1.15__tar.gz
October 19, 2025 18:48
1.1.13__py3-none-any.whl → 1.1.14__py3-none-any.whl
October 18, 2025 18:30
1.1.13__tar.gz → 1.1.14__tar.gz
October 18, 2025 18:30