Small updates

2021-05-24 11:02:34 +02:00
parent ad72fdeb0b
commit c50e512184
5 changed files with 11 additions and 38 deletions
--- a/2
+++ b/2
@ -1,4 +1,4 @@
-(lang dune 2.0)
+(lang dune 2.8)

 (generate_opam_files true)
 (name nombres)