Why Gemfury?
Push, build, and install
RubyGems
npm packages
Python packages
Maven artifacts
PHP packages
Go Modules
Debian packages
RPM packages
NuGet packages
flet / flet-liboprf python
Repository URL to install this package:
|
Version:
0.5.0 ▾
|
| .. |
| krml |
| minimal |
| README.txt |
contains snapshot of e5620ceb7c8a4996520d693f597872806dc0a1d3
from https://github.com/project-everest/hacl-star
cp -r $(HACL_ROOT)/dist/karamel/krmllib/dist/minimal karmel
cp -r $(HACL_ROOT)/dist/karamel/include/krml karmel/
cp -r ${HACL_ROOT}/dist/karamel/include karmel