From 2285a33fe12529659e25e4fefc7e0738597cec7f Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 21 Mar 2023 17:04:33 -0700 Subject: [PATCH] ogma-core: Document changes in CHANGELOG. Refs #74. --- ogma-core/CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/ogma-core/CHANGELOG.md b/ogma-core/CHANGELOG.md index 6a5bbe4e..5b0359c8 100644 --- a/ogma-core/CHANGELOG.md +++ b/ogma-core/CHANGELOG.md @@ -4,6 +4,7 @@ * Support inequality operator in SMV and CoCoSpec (#71). * Introduce new F' (FPrime) backend (#77). +* Mark package as uncurated (#74). ## [1.0.7] - 2023-01-21 * Version bump 1.0.7 (#69).