Skip to main content

Browse the archive

Revision 283b732dcf4b6837f254ccfceb7754992bc18731 authored by Raphaël Proust on 18 February 2022, 15:34:00 UTC, committed by Raphaël Proust on 23 February 2022, 13:21:15 UTC 
Use Binary_int_size instead of hardcoded values
1 parent 949d760
Raw File
dune-project 
(lang dune 1.11)
(name data-encoding)
(using fmt 1.1)
back to top