golang-github-mit-plv-fiat-crypto-dev (0.1.6-2)

Details

Core information at a glance
Distribution: kali
Origin: kali-last-snapshot
Repository: https://http.kali.org/kali
Codename: kali-last-snapshot
Component: main
Source: golang-github-mit-plv-fiat-crypto
Architecture: i386
Section: golang
Priority: optional
Maintainer: Debian Go Packaging Team <[email protected]>
Size & integrity

Byte sizes and integrity verification
Installed size: 11 kB
Size expected: 660.5 kB
Size actual: 660.5 kB
Size match
Dependencies

Required package dependencies
None
Suggested packages

Recommended additional packages
None
Description

Cryptographic Primitive Code Generation by Fiat (library)
Homepage Download .deb
Checksums

Hash values and integrity verification status
Type	Expected	Actual
MD5	de74017e…1ddd1f11	de74017e…1ddd1f11
SHA-1	97dc6ef4…f91c1e6c	97dc6ef4…f91c1e6c
SHA-256	a35e894f…b0b3500b	a35e894f…b0b3500b
SHA-512	Not provided	167e6cc5…713f9303
Files and directories included
.
usr
usr/share
usr/share/doc
usr/share/doc/golang-github-mit-plv-fiat-crypto-dev
usr/share/doc/golang-github-mit-plv-fiat-crypto-dev/changelog.Debian.gz
usr/share/doc/golang-github-mit-plv-fiat-crypto-dev/copyright
usr/share/gocode
usr/share/gocode/src
usr/share/gocode/src/github.com
usr/share/gocode/src/github.com/mit-plv
usr/share/gocode/src/github.com/mit-plv/fiat-crypto
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/etc
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/etc/measure.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/etc/tscfreq.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/curve25519_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/curve25519_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/curve25519_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/curve25519_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/curve25519_solinas_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p224_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p224_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p256_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p256_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p256_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p256_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p384_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p384_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p384_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p384_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p434_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p448_solinas_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p521_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/p521_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/poly1305_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/poly1305_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/secp256k1_dettman_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/secp256k1_dettman_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/secp256k1_montgomery_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/secp256k1_montgomery_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/secp256k1_montgomery_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/secp256k1_montgomery_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/sm2_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/sm2_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/sm2_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-bedrock2/src/sm2_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/curve25519_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/curve25519_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/curve25519_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/curve25519_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/curve25519_solinas_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p224_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p224_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p256_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p256_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p256_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p256_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p384_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p384_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p384_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p384_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p434_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p448_solinas_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p448_solinas_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p521_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/p521_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/poly1305_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/poly1305_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/secp256k1_dettman_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/secp256k1_dettman_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/secp256k1_montgomery_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/secp256k1_montgomery_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/secp256k1_montgomery_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/secp256k1_montgomery_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/sm2_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/sm2_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/sm2_scalar_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-c/src/sm2_scalar_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/curve25519
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/curve25519/curve25519.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/curve25519scalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/curve25519scalar/curve25519scalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p224
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p224/p224.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p256
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p256/p256.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p256scalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p256scalar/p256scalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p384
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p384/p384.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p384scalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p384scalar/p384scalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p521
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/p521/p521.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/poly1305
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/poly1305/poly1305.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/secp256k1dettman
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/secp256k1dettman/secp256k1dettman.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/secp256k1montgomery
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/secp256k1montgomery/secp256k1montgomery.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/secp256k1montgomeryscalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/secp256k1montgomeryscalar/secp256k1montgomeryscalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/sm2
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/sm2/sm2.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/sm2scalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/32/sm2scalar/sm2scalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/curve25519
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/curve25519/curve25519.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/curve25519scalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/curve25519scalar/curve25519scalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/curve25519solinas
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/curve25519solinas/curve25519solinas.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p224
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p224/p224.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p256
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p256/p256.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p256scalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p256scalar/p256scalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p384
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p384/p384.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p384scalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p384scalar/p384scalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p434
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p434/p434.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p448solinas
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p448solinas/p448solinas.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p521
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/p521/p521.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/poly1305
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/poly1305/poly1305.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/secp256k1dettman
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/secp256k1dettman/secp256k1dettman.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/secp256k1montgomery
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/secp256k1montgomery/secp256k1montgomery.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/secp256k1montgomeryscalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/secp256k1montgomeryscalar/secp256k1montgomeryscalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/sm2
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/sm2/sm2.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/sm2scalar
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/fiat-go/64/sm2scalar/sm2scalar.go
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/inversion_template.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/inversion_test_template.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/p224_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/p224_32_test.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/p224_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/p224_64_test.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/p384_32.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/p384_32_test.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/p434_64.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/inversion/c/p434_64_test.c
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_clang_19_1_0_O0.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_clang_19_1_0_O1.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_clang_19_1_0_O2.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_clang_19_1_0_O3.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_clang_19_1_0_Os.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_gcc_14_1_O0.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_gcc_14_1_O1.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_gcc_14_1_O2.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_gcc_14_1_O3.s
usr/share/gocode/src/github.com/mit-plv/fiat-crypto/src/Assembly/Parse/Examples/fiat_25519_all_gcc_14_1_Os.s