From 788a1fd324ddadb2e8360f683e3c2f1515252adf Mon Sep 17 00:00:00 2001 From: Registrator Date: Wed, 16 Oct 2024 22:33:24 +0530 Subject: [PATCH] New version: PRIMA v0.2.2 (#117409) UUID: 0a7d04aa-8ac2-47b3-b7a7-9dbd6ad661ed Repo: https://github.com/libprima/PRIMA.jl.git Tree: e28122cbaab93ad6ba46da1bd45915110282bb87 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a --- P/PRIMA/Compat.toml | 7 ++++++- P/PRIMA/Versions.toml | 3 +++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/P/PRIMA/Compat.toml b/P/PRIMA/Compat.toml index 8900550f04bc2eb..a98ab944becb2b2 100644 --- a/P/PRIMA/Compat.toml +++ b/P/PRIMA/Compat.toml @@ -1,7 +1,12 @@ [0] PRIMA_jll = "0.7.1-0.7" -TypeUtils = "0.3" julia = "1.6.0-1" +["0-0.2.1"] +TypeUtils = "0.3" + ["0.2.1-0"] Requires = "1" + +["0.2.2-0"] +TypeUtils = ["0.3", "1"] diff --git a/P/PRIMA/Versions.toml b/P/PRIMA/Versions.toml index b7cf1ec860b73b4..c5f38da9c374fe4 100644 --- a/P/PRIMA/Versions.toml +++ b/P/PRIMA/Versions.toml @@ -6,3 +6,6 @@ git-tree-sha1 = "1293fbede8665647d7fb98f421d72cf38e13854e" ["0.2.1"] git-tree-sha1 = "301d9ea1058d853828e0ea70483969779ab1d1b1" + +["0.2.2"] +git-tree-sha1 = "e28122cbaab93ad6ba46da1bd45915110282bb87"