@@ -3046,6 +3046,9 @@ packages:
3047 "Henry Laxen <nadine.and.henry@pobox.com> @HenryLaxen":
3047 "Henry Laxen <nadine.and.henry@pobox.com> @HenryLaxen":
3050+ "Stevan Andjelkovic <stevan@advancedtelematic.com> @stevana":
3051+ - quickcheck-state-machine
3050 # If you stop maintaining a package you can move it here.
3053 # If you stop maintaining a package you can move it here.
3051 # It will then be disabled if it starts causing problems.
3054 # It will then be disabled if it starts causing problems.