Compare package versions

isabelle-query

1.4.0__py3-none-any.whl → 1.5.0__py3-none-any.whl
October 28, 2026 23:02
1.4.0__tar.gz → 1.5.0__tar.gz
October 28, 2026 23:02
1.3.0__tar.gz → 1.5.0__tar.gz
October 28, 2026 23:02
1.3.0__py3-none-any.whl → 1.5.0__py3-none-any.whl
October 28, 2026 23:02
1.3.0__py3-none-any.whl → 1.4.0__py3-none-any.whl
October 26, 2026 04:23
1.3.0__tar.gz → 1.4.0__tar.gz
October 26, 2026 04:23
1.2.0__tar.gz → 1.4.0__tar.gz
October 26, 2026 04:23
1.2.0__py3-none-any.whl → 1.4.0__py3-none-any.whl
October 26, 2026 04:23
1.2.0__tar.gz → 1.3.0__tar.gz
October 25, 2026 10:55
1.2.0__py3-none-any.whl → 1.3.0__py3-none-any.whl
October 25, 2026 10:55
1.1.1__tar.gz → 1.3.0__tar.gz
October 25, 2026 10:56
1.1.1__py3-none-any.whl → 1.3.0__py3-none-any.whl
October 25, 2026 10:55
1.1.1__py3-none-any.whl → 1.2.0__py3-none-any.whl
October 24, 2026 08:33
1.1.1__tar.gz → 1.2.0__tar.gz
October 24, 2026 08:33
1.1.0__py3-none-any.whl → 1.2.0__py3-none-any.whl
October 24, 2026 08:33
1.1.0__tar.gz → 1.2.0__tar.gz
October 24, 2026 08:33
1.1.0__tar.gz → 1.1.1__tar.gz
October 23, 2026 16:35
1.1.0__py3-none-any.whl → 1.1.1__py3-none-any.whl
October 23, 2026 16:34
1.0.0__py3-none-any.whl → 1.1.1__py3-none-any.whl
October 23, 2026 16:34
1.0.0__tar.gz → 1.1.1__tar.gz
October 23, 2026 16:35
1.0.0__tar.gz → 1.1.0__tar.gz
October 23, 2026 02:42
1.0.0__py3-none-any.whl → 1.1.0__py3-none-any.whl
October 23, 2026 02:42
0.9.9__py3-none-any.whl → 1.1.0__py3-none-any.whl
October 23, 2026 02:42
0.9.9__tar.gz → 1.1.0__tar.gz
October 23, 2026 02:42
0.9.9__py3-none-any.whl → 1.0.0__py3-none-any.whl
October 20, 2026 16:12
0.9.9__tar.gz → 1.0.0__tar.gz
October 20, 2026 16:12
0.9.8__tar.gz → 1.0.0__tar.gz
October 20, 2026 16:12
0.9.8__py3-none-any.whl → 1.0.0__py3-none-any.whl
October 20, 2026 16:12
0.9.8__tar.gz → 0.9.9__tar.gz
October 20, 2026 10:01
0.9.8__py3-none-any.whl → 0.9.9__py3-none-any.whl
October 20, 2026 10:01
0.9.7__tar.gz → 0.9.9__tar.gz
October 20, 2026 10:02
0.9.7__py3-none-any.whl → 0.9.9__py3-none-any.whl
October 20, 2026 10:01
0.9.7__py3-none-any.whl → 0.9.8__py3-none-any.whl
October 08, 2026 15:09
0.9.7__tar.gz → 0.9.8__tar.gz
October 08, 2026 15:09
0.9.6__py3-none-any.whl → 0.9.8__py3-none-any.whl
October 08, 2026 15:09
0.9.6__tar.gz → 0.9.8__tar.gz
October 08, 2026 15:10
0.9.6__tar.gz → 0.9.7__tar.gz
October 06, 2026 21:19
0.9.6__py3-none-any.whl → 0.9.7__py3-none-any.whl
October 06, 2026 21:19
0.9.5__py3-none-any.whl → 0.9.7__py3-none-any.whl
October 06, 2026 21:19
0.9.5__tar.gz → 0.9.7__tar.gz
October 06, 2026 21:19
0.9.5__tar.gz → 0.9.6__tar.gz
October 06, 2026 13:35
0.9.4__tar.gz → 0.9.6__tar.gz
October 06, 2026 13:35