@@ -146,7 +146,7 @@ Extra-source-files:
146146 libs/effects/Makefile
147147 libs/effects/effects.ipkg
148148 libs/effects/Effect/*.idr
149− libs/effects/Effect/Logging/*.idr
149+ libs/effects/Effect/Logging/*.idr
150150 libs/effects/*.idr
151151
152152 libs/pruviloj/Makefile
@@ -356,6 +356,10 @@ Extra-source-files:
356356 test/bignum002/*.idr
357357 test/bignum002/expected
358358
359+ test/bounded001/run
360+ test/bounded001/*.idr
361+ test/bounded001/expected
362+
359363 test/corecords001/*.idr
360364 test/corecords001/run
361365 test/corecords001/expected
@@ -604,6 +608,9 @@ Extra-source-files:
604608 test/meta002/run
605609 test/meta002/*.idr
606610 test/meta002/expected
611+ test/meta003/run
612+ test/meta003/*.idr
613+ test/meta003/expected
607614 test/meta004/run
608615 test/meta004/*.idr
609616 test/meta004/expected
@@ -630,9 +637,21 @@ Extra-source-files:
630637 test/primitives006/expected
631638
632639 test/pkg001/run
633− test/pkg001/test-pkg.ipkg
634640 test/pkg001/*.idr
635641 test/pkg001/expected
642+ test/pkg001/*.ipkg
643+ test/pkg002/run
644+ test/pkg002/*.idr
645+ test/pkg002/expected
646+ test/pkg002/*.ipkg
647+ test/pkg003/run
648+ test/pkg003/*.idr
649+ test/pkg003/expected
650+ test/pkg003/*.ipkg
651+ test/pkg004/run
652+ test/pkg004/*.idr
653+ test/pkg004/expected
654+ test/pkg004/*.ipkg
636655
637656 test/proof001/run
638657 test/proof001/*.idr