copilot-theorem: Upgrading from 3.12 to 3.13
Scott Talbert
1 year, 3 months ago
|
0 |
haskell-copilot-theorem (3.13-1) unstable; urgency=medium
|
|
1 |
|
|
2 |
* New upstream release
|
|
3 |
|
|
4 |
-- Scott Talbert <swt@techie.net> Mon, 09 Jan 2023 19:39:57 -0500
|
|
5 |
|
0 | 6 |
haskell-copilot-theorem (3.12-1) unstable; urgency=medium
|
1 | 7 |
|
2 | 8 |
* New upstream release
|
12 | 12 |
libghc-bv-sized-dev (>= 1.0.2),
|
13 | 13 |
libghc-bv-sized-dev (<< 1.1),
|
14 | 14 |
libghc-bv-sized-prof,
|
15 | |
libghc-copilot-core-dev (>= 3.12),
|
16 | |
libghc-copilot-core-dev (<< 3.13),
|
|
15 |
libghc-copilot-core-dev (>= 3.13),
|
|
16 |
libghc-copilot-core-dev (<< 3.14),
|
17 | 17 |
libghc-copilot-core-prof,
|
18 | |
libghc-copilot-prettyprinter-dev (>= 3.12),
|
19 | |
libghc-copilot-prettyprinter-dev (<< 3.13),
|
|
18 |
libghc-copilot-prettyprinter-dev (>= 3.13),
|
|
19 |
libghc-copilot-prettyprinter-dev (<< 3.14),
|
20 | 20 |
libghc-copilot-prettyprinter-prof,
|
21 | 21 |
libghc-data-default-dev (>= 0.7),
|
22 | 22 |
libghc-data-default-dev (<< 0.8),
|