swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

global.ml -> env.ml + mte_device.ml

Browse source
This commit is contained in:
swrup 2026-03-30 15:20:19 +02:00 • committed by Swrup
parent 0f4aa3f3f9
commit 34b979a9bc
7 changed files with 39 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/dune
View file

@ -2,16 +2,17 @@
(name mte)
(modules
fat
global
headers
respond
pg_type
pg
env
mte_device
mte_handler
mte
mte_terms
mte_info
mte_management
mte_handler
secmod_eddsa
secmod_rsa
keys