Add deprecation notices to snocvect and fvect packages (#187)

stefan-hoeck · Jan 27, 2025 · 07601e3 · 07601e3
1 parent 05f53b9
commit 07601e3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -298,6 +298,7 @@ type   = "github"
 url    = "https://github.com/mattpolzin/idris-fvect"
 commit = "main"
 ipkg   = "fvect.ipkg"
+notice = "DEPRECATED. The FVect datatype can now be found in the containers package."
 
 [db.getopts]
 type = "github"
@@ -728,6 +729,7 @@ type   = "github"
 url    = "https://github.com/mattpolzin/idris-snocvect"
 commit = "main"
 ipkg   = "snocvect.ipkg"
+notice = "DEPRECATED. The SnocVect datatype can now be found in the containers package."
 
 [db.sop]
 type   = "github"