Add miniterion

This commit is contained in:
8c6794b6 2023-09-20 17:39:39 +09:00
parent 9bad0e1199
commit ca7329c4cb

View File

@ -4900,6 +4900,7 @@ packages:
"8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
- hpc-codecov
- miniterion
"Hiromi Ishii <konn.jinro@gmail.com> @konn":
- equational-reasoning