@@ -3324,12 +3324,14 @@ packages:
3324 - fuzzy-dates
3324 - fuzzy-dates
3326 "Matthew Farkas-Dyck <strake888@gmail.com> @strake":
3326 "Matthew Farkas-Dyck <strake888@gmail.com> @strake":
3328 - category
3329 - category
3329 - constraint
3330 - constraint
3330 - filtrable
3331 - filtrable
3331 - hs-functors
3332 - hs-functors
3334+ - natural-induction
3334 - unconstrained
3336 - unconstrained