Armael/bundle_why3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
12 commits 1 branch 0 tags 344 KiB
  • Shell 56.8%
  • C 27.7%
  • OCaml 15.3%
  • Dune 0.2%
Find a file
Exact
Armaël Guéneau 730f8456d7 .
2025-03-10 18:37:20 +01:00
bundle_tool WIP 2025-01-07 10:07:08 +01:00
.gitignore WIP 2025-01-07 10:07:08 +01:00
coqide.icns maybe? 2025-03-10 18:34:53 +01:00
fonts.conf WIP 2025-01-07 10:07:08 +01:00
Info.plist maybe? 2025-03-10 18:34:53 +01:00
mkbundle_linux.sh tweak 2025-03-10 16:47:20 +01:00
mkbundle_macos.sh . 2025-03-10 18:37:20 +01:00
mkswitch.sh WIP 2025-01-07 10:07:08 +01:00
relocate.c . 2025-03-10 16:50:33 +01:00
why3.opam WIP 2025-01-07 10:07:08 +01:00
wrapper.c . 2025-03-10 15:32:58 +01:00