This commit is contained in:
parent
9fe1d76dc4
commit
8e6ceb1416
3 changed files with 3 additions and 15 deletions
2
src/dune
2
src/dune
|
|
@ -20,8 +20,6 @@
|
|||
caqti-miou.unix
|
||||
caqti-driver-pgx
|
||||
bin
|
||||
angstrom
|
||||
zarith ;
|
||||
mirage-crypto
|
||||
digestif
|
||||
duration
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue