From 456b2426e2229a2990eb41ae564e8b88c964a4ae Mon Sep 17 00:00:00 2001 From: Registrator Date: Thu, 20 Jun 2024 21:34:27 +0530 Subject: [PATCH] New version: DescriptorSystems v1.4.2 (#109443) UUID: a81e2ce2-54d1-11eb-2c75-db236b00f339 Repo: https://github.com/andreasvarga/DescriptorSystems.jl.git Tree: fe40eb7ecc8a0bb6d19f8d3038c179fcc417cea2 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a --- D/DescriptorSystems/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/D/DescriptorSystems/Versions.toml b/D/DescriptorSystems/Versions.toml index 9c65ecb593a9fda..d3660f2889b7cdd 100644 --- a/D/DescriptorSystems/Versions.toml +++ b/D/DescriptorSystems/Versions.toml @@ -90,3 +90,6 @@ git-tree-sha1 = "05d542d6c5321fabe2ffd9793e160081ec48b48a" ["1.4.1"] git-tree-sha1 = "bbb4fc48a5b5597d93ebe5cf79619ab554ca501d" + +["1.4.2"] +git-tree-sha1 = "fe40eb7ecc8a0bb6d19f8d3038c179fcc417cea2"