Cabal revisions of mlkem-0.1.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 2.2---- This file has been generated from package.yaml by hpack version 0.38.0.------ see: https://github.com/sol/hpack--name: mlkem-version: 0.1.0.0-synopsis: Module-Lattice-based Key-Encapsulation Mechanism-description: Module-Lattice-based Key-Encapsulation Mechanism (ML-KEM) implemented in- Haskell.-category: Crypto-homepage: https://codeberg.org/ocheron/hs-mlkem#readme-bug-reports: https://codeberg.org/ocheron/hs-mlkem/issues-author: Olivier Chéron-maintainer: olivier.cheron@gmail.com-copyright: 2025 Olivier Chéron-license: BSD-3-Clause-license-file: LICENSE-build-type: Simple-extra-source-files:- README.md- tests/get-vectors.sh-extra-doc-files:- CHANGELOG.md--source-repository head- type: git- location: https://codeberg.org/ocheron/hs-mlkem--flag use_crypton- description: Use crypton instead of cryptonite- manual: True- default: False--library- exposed-modules:- Crypto.PubKey.ML_KEM- other-modules:- Auxiliary- Block- BlockN- Builder- ByteArrayST- Crypto- Internal- K_PKE- Marking- Math- Matrix- ScrubbedBlock- SecureBlock- SecureBytes- Vector- Paths_mlkem- autogen-modules:- Paths_mlkem- hs-source-dirs:- src- ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -O2- build-depends:- base >=4.7 && <5- , basement >=0.0.8- , deepseq- , memory- default-language: Haskell2010- if flag(use_crypton)- build-depends:- crypton- else- build-depends:- cryptonite >=0.26--test-suite mlkem-test- type: exitcode-stdio-1.0- main-is: Tests.hs- other-modules:- EncapDecap- KeyGen- Util- Vectors- Paths_mlkem- autogen-modules:- Paths_mlkem- hs-source-dirs:- tests- ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N- build-depends:- aeson- , base >=4.7 && <5- , basement >=0.0.8- , bytestring- , deepseq- , directory- , memory- , mlkem- , process- , tasty- , tasty-hunit- , tasty-quickcheck- , text- , zlib- default-language: Haskell2010- if flag(use_crypton)- build-depends:- crypton- else- build-depends:- cryptonite >=0.26--test-suite mlkem-test-full- type: exitcode-stdio-1.0- main-is: Tests.hs- other-modules:- Auxiliary- Block- BlockN- Builder- ByteArrayST- Crypto- Crypto.PubKey.ML_KEM- Internal- K_PKE- Marking- Math- Matrix- ScrubbedBlock- SecureBlock- SecureBytes- Vector- EncapDecap- KeyGen- Util- Vectors- Paths_mlkem- autogen-modules:- Paths_mlkem- hs-source-dirs:- src- tests- ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -fno-ignore-asserts -threaded -rtsopts -with-rtsopts=-N- cpp-options: -DML_KEM_TESTING- build-depends:- aeson- , base >=4.7 && <5- , basement >=0.0.8- , bytestring- , deepseq- , directory- , memory- , process- , tasty- , tasty-hunit- , tasty-quickcheck- , text- , zlib- default-language: Haskell2010- if flag(use_crypton)- build-depends:- crypton- else- build-depends:- cryptonite >=0.26--benchmark mlkem-bench- type: exitcode-stdio-1.0- main-is: Bench.hs- other-modules:- Paths_mlkem- autogen-modules:- Paths_mlkem- hs-source-dirs:- benchs- ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N- build-depends:- base >=4.7 && <5- , basement >=0.0.8- , criterion- , deepseq- , memory- , mlkem- default-language: Haskell2010- if flag(use_crypton)- build-depends:- crypton- else- build-depends:- cryptonite >=0.26+cabal-version: 2.2 + +-- This file has been generated from package.yaml by hpack version 0.38.0. +-- +-- see: https://github.com/sol/hpack + +name: mlkem +version: 0.1.0.0 +x-revision: 1 +synopsis: Module-Lattice-based Key-Encapsulation Mechanism +description: Module-Lattice-based Key-Encapsulation Mechanism (ML-KEM) implemented in + Haskell. +category: Crypto +homepage: https://codeberg.org/ocheron/hs-mlkem#readme +bug-reports: https://codeberg.org/ocheron/hs-mlkem/issues +author: Olivier Chéron +maintainer: olivier.cheron@gmail.com +copyright: 2025 Olivier Chéron +license: BSD-3-Clause +license-file: LICENSE +build-type: Simple +extra-source-files: + README.md + tests/get-vectors.sh +extra-doc-files: + CHANGELOG.md + +source-repository head + type: git + location: https://codeberg.org/ocheron/hs-mlkem + +flag use_crypton + description: Use crypton instead of cryptonite + manual: True + default: False + +library + exposed-modules: + Crypto.PubKey.ML_KEM + other-modules: + Auxiliary + Block + BlockN + Builder + ByteArrayST + Crypto + Internal + K_PKE + Marking + Math + Matrix + ScrubbedBlock + SecureBlock + SecureBytes + Vector + Paths_mlkem + autogen-modules: + Paths_mlkem + hs-source-dirs: + src + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -O2 + build-depends: + base >=4.7 && <5 + , basement >=0.0.8 + , deepseq + , memory + default-language: Haskell2010 + if flag(use_crypton) + build-depends: + crypton < 1.1 + else + build-depends: + cryptonite >=0.26 + +test-suite mlkem-test + type: exitcode-stdio-1.0 + main-is: Tests.hs + other-modules: + EncapDecap + KeyGen + Util + Vectors + Paths_mlkem + autogen-modules: + Paths_mlkem + hs-source-dirs: + tests + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N + build-depends: + aeson + , base >=4.7 && <5 + , basement >=0.0.8 + , bytestring + , deepseq + , directory + , memory + , mlkem + , process + , tasty + , tasty-hunit + , tasty-quickcheck + , text + , zlib + default-language: Haskell2010 + if flag(use_crypton) + build-depends: + crypton + else + build-depends: + cryptonite >=0.26 + +test-suite mlkem-test-full + type: exitcode-stdio-1.0 + main-is: Tests.hs + other-modules: + Auxiliary + Block + BlockN + Builder + ByteArrayST + Crypto + Crypto.PubKey.ML_KEM + Internal + K_PKE + Marking + Math + Matrix + ScrubbedBlock + SecureBlock + SecureBytes + Vector + EncapDecap + KeyGen + Util + Vectors + Paths_mlkem + autogen-modules: + Paths_mlkem + hs-source-dirs: + src + tests + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -fno-ignore-asserts -threaded -rtsopts -with-rtsopts=-N + cpp-options: -DML_KEM_TESTING + build-depends: + aeson + , base >=4.7 && <5 + , basement >=0.0.8 + , bytestring + , deepseq + , directory + , memory + , process + , tasty + , tasty-hunit + , tasty-quickcheck + , text + , zlib + default-language: Haskell2010 + if flag(use_crypton) + build-depends: + crypton + else + build-depends: + cryptonite >=0.26 + +benchmark mlkem-bench + type: exitcode-stdio-1.0 + main-is: Bench.hs + other-modules: + Paths_mlkem + autogen-modules: + Paths_mlkem + hs-source-dirs: + benchs + ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N + build-depends: + base >=4.7 && <5 + , basement >=0.0.8 + , criterion + , deepseq + , memory + , mlkem + default-language: Haskell2010 + if flag(use_crypton) + build-depends: + crypton + else + build-depends: + cryptonite >=0.26