|
Lines 17749-17751
Link Here
|
| 17749 |
japanese/ja-tex-xdvik|print/tex-xdvik|2023-01-02|pTeX support has been integrated |
17749 |
japanese/ja-tex-xdvik|print/tex-xdvik|2023-01-02|pTeX support has been integrated |
| 17750 |
math/cvc4|math/cvc5|2023-01-03|CVC4 was succeeded by CVC5 |
17750 |
math/cvc4|math/cvc5|2023-01-03|CVC4 was succeeded by CVC5 |
| 17751 |
math/cvc3|math/cvc5|2023-01-04|CVC3 was succeeded by CVC4 and CVC5 |
17751 |
math/cvc3|math/cvc5|2023-01-04|CVC3 was succeeded by CVC4 and CVC5 |
|
|
17752 |
net/gnu-dico|net/dico|2023-01-06|Renamed to match upstream naming |