Mysaa/mpri-2.4-project-2023-2024
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4 Commits 1 Branch 0 Tags
e8489100398e71cd8180073b7c82a9e42560af02
Commit Graph
4 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Gabriel Scherer e848910039 testsuite: avoids 4-indented code blocks that pass for test output 
Reported-By: Nicolás Ojeda Bär
 2023-12-22 15:49:01 +01:00
Gabriel Scherer fce7844414 fix the OCaml bound in .opam: we use Seq.take which is 4.14 
Reported-by: Ellenor Taghayor
 2023-12-22 15:48:56 +01:00
Gabriel Scherer 96bd055026 first public release of the project 2023-12-21 00:40:52 +01:00
Gabriel Scherer 6c3e9720fc root 2023-12-21 00:39:18 +01:00