diff --git a/tools/cojac/cooc_pubmut.xml b/tools/cojac/cooc_pubmut.xml index a231d91ff68..6bf99549816 100644 --- a/tools/cojac/cooc_pubmut.xml +++ b/tools/cojac/cooc_pubmut.xml @@ -8,7 +8,7 @@ - pandoc + pandoc gmp diff --git a/tools/cojac/macros.xml b/tools/cojac/macros.xml index a4a34080373..7a8a01ec983 100644 --- a/tools/cojac/macros.xml +++ b/tools/cojac/macros.xml @@ -1,6 +1,6 @@ - 0.9.2 + 0.9.3 0 21.01