skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/include/oprf/dkg.h
/usr/include/oprf/noiseXK/Noise_XK.h
/usr/include/oprf/noiseXK/XK.h
/usr/include/oprf/noiseXK/karmel/README.txt
/usr/include/oprf/noiseXK/karmel/krml/c_endianness.h
/usr/include/oprf/noiseXK/karmel/krml/fstar_int.h
/usr/include/oprf/noiseXK/karmel/krml/internal/builtin.h
/usr/include/oprf/noiseXK/karmel/krml/internal/callconv.h
/usr/include/oprf/noiseXK/karmel/krml/internal/compat.h
/usr/include/oprf/noiseXK/karmel/krml/internal/debug.h
/usr/include/oprf/noiseXK/karmel/krml/internal/target.h
/usr/include/oprf/noiseXK/karmel/krml/internal/types.h
/usr/include/oprf/noiseXK/karmel/krml/internal/wasmsupport.h
/usr/include/oprf/noiseXK/karmel/krml/lowstar_endianness.h
/usr/include/oprf/noiseXK/karmel/minimal/FStar_UInt128.h
/usr/include/oprf/noiseXK/karmel/minimal/FStar_UInt128_Verified.h
/usr/include/oprf/noiseXK/karmel/minimal/FStar_UInt_8_16_32_64.h
/usr/include/oprf/noiseXK/karmel/minimal/LowStar_Endianness.h
/usr/include/oprf/noiseXK/karmel/minimal/Makefile.basic
/usr/include/oprf/noiseXK/karmel/minimal/Makefile.include
/usr/include/oprf/noiseXK/karmel/minimal/fstar_uint128_gcc64.h
/usr/include/oprf/noiseXK/karmel/minimal/fstar_uint128_msvc.h
/usr/include/oprf/noiseXK/karmel/minimal/fstar_uint128_struct_endianness.h
/usr/include/oprf/noiseXK/karmel/minimal/libkrmllib.def
/usr/include/oprf/noiseXK/noise_private.h
/usr/include/oprf/oprf.h
/usr/include/oprf/stp-dkg.h
/usr/include/oprf/toprf-update.h
/usr/include/oprf/toprf.h
/usr/include/oprf/tp-dkg.h
/usr/include/oprf/utils.h
/usr/lib/arm-linux-gnueabihf/liboprf-noiseXK.a
/usr/lib/arm-linux-gnueabihf/liboprf-noiseXK.so
/usr/lib/arm-linux-gnueabihf/liboprf.a
/usr/lib/arm-linux-gnueabihf/liboprf.so
/usr/share/doc/liboprf-dev/README.md.gz
/usr/share/doc/liboprf-dev/changelog.Debian.gz
/usr/share/doc/liboprf-dev/copyright
/usr/share/pkgconfig/liboprf.pc