Package: easycrypt Version: 2026.07-1 Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 132597 Depends: why3 Priority: optional Section: misc Filename: pool/main/e/easycrypt/easycrypt_2026.07-1_amd64.deb Size: 59204792 SHA256: 0a801ef86be76a6e46960c9f2a391e0915d88d53b46019c8a54f5717698c30cb SHA1: c14bca277a42f8a6030244d68eeb8f15ad2aeee7 MD5sum: 915a50b839766615a3368124ec3c9c61 Description: Computer-Aided Cryptographic Proofs EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of code-based, game-playing cryptographic security proofs, but it's capable of more general formal verification tasks. Another important application of EasyCrypt is proving the functional correctness of low-level implementations—particularly those in Jasmin—against high-level specifications. Package: easycrypt-dbgsym Source: easycrypt Version: 2026.07-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 13991 Depends: easycrypt (= 2026.07-1) Priority: optional Section: debug Filename: pool/main/e/easycrypt/easycrypt-dbgsym_2026.07-1_amd64.deb Size: 3468960 SHA256: d96cf8f30b603bec8fc9df9fb925e5a562d5fe96d70561d6c1e20e74859ade28 SHA1: ebb2c8afb7e31d53c8a57d6df7a889725fc7b40e MD5sum: 1b3835eff895abd65f663f6191976a6a Description: debug symbols for easycrypt Build-Ids: 0eb0b92d2e428d3bd3bf83533fcd7d4a95c3c589 331b098ef35b0efd688146672669ed568332b106 9b82ddc549d085c3f7620f31652f435e08cb0eae aa22d9b4351bafb18f4e3e71f0478ff16d48b7f6 e0ba487ee0539e3653e2610e47587dc0ac27a014 Package: jasmin-compiler Version: 2026.03.2-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 49013 Depends: libapron Priority: optional Section: misc Filename: pool/main/j/jasmin-compiler/jasmin-compiler_2026.03.2-1+trixie_amd64.deb Size: 11486888 SHA256: bfb6509ad5e9c1a53facc68394379adc46cf065fbd4ff30e7b57266f67715c0d SHA1: 7e9ff3ef0e9ad286237c1894357f3f120fdfa4db MD5sum: 769da51f052a21f9d34034603f890bb1 Description: The Jasmin Workbench for High-Assurance Cryptography Implementations The Jasmin programming language smoothly combines high-level and low-level constructs, so as to support “assembly in the head” programming. Programmers can control many low-level details that are performance-critical: instruction selection and scheduling, what registers to spill and when, etc. They can also rely on high-level abstractions (variables, functions, arrays, loops, etc.) to structure their code and make it more amenable to formal verification. Package: jasmin-compiler-dbgsym Source: jasmin-compiler Version: 2026.03.2-1+trixie Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 16357 Depends: jasmin-compiler (= 2026.03.2-1+trixie) Priority: optional Section: debug Filename: pool/main/j/jasmin-compiler/jasmin-compiler-dbgsym_2026.03.2-1+trixie_amd64.deb Size: 3529952 SHA256: 81d9c1e190490c7d72c9fd0b91bdb5221d1d0695697ec73837e2966513230fd7 SHA1: 72b3fa2d284335a3b8879ddf32cdd3e02e687abb MD5sum: 6c3bc608add383a7a10dbe83d327c5cd Description: debug symbols for jasmin-compiler Build-Ids: 1a5744cfc7236faf824ea52b7db5190a2ba838f2 388ee5d8ea5f3645e5d68cededdc7bf4f0b1bf7e 8bde0d5a767c05dc5a2dfc62a765262d1b54e682 b13076d99d0f18b47493975747cc7c41510306bf Package: libapron Source: apron Version: 0.9.15-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 2856 Depends: libmpfr6, libppl-c4 Priority: optional Section: libs Filename: pool/main/a/apron/libapron_0.9.15-1+trixie_amd64.deb Size: 833480 SHA256: 3705a1761c289e690d0d9d408d10e0302da2f0d96fdbc7690db5eb27479e59f9 SHA1: 1c98bf89e1f6da8fe15b9b0e462b6b95b8901af4 MD5sum: ce07a779e8e5b06f07d0a5552f7ffb89 Description: The Apron Numerical Abstract Domain Library Apron is a library to represent properties of numeric variables, such as variable bounds or linear relations between variables, and to manipulate these properties through semantic operations, such as variable assignments, tests, conjunctions, entailment. Package: libapron-dev Source: apron Version: 0.9.15-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 7523 Depends: libapron (= 0.9.15-1+trixie) Priority: optional Section: libdevel Filename: pool/main/a/apron/libapron-dev_0.9.15-1+trixie_amd64.deb Size: 936188 SHA256: 43f92ed7be55f0800d4594d1857a494ab66906f4eed64868bcb97b35afb32503 SHA1: b3f225f04ed3069aaf0ace2c648273cd59466dfd MD5sum: b8e4478558c17da92b69441631523f89 Description: The Apron Numerical Abstract Domain Library - development This package contains the headers and static libraries not included in the main libapron package. Package: libapron-ocaml-dev Source: apron Version: 0.9.15-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 3047 Depends: libapron (= 0.9.15-1+trixie), libgmpidl-ocaml Priority: optional Section: ocaml Filename: pool/main/a/apron/libapron-ocaml-dev_0.9.15-1+trixie_amd64.deb Size: 507156 SHA256: f3bbeb42df122a3d957dd5959bae3e607d1cec0041bc191fea69699e6f0d3e85 SHA1: 60b611cd27cba3b770e13037f8a59f73d89ec47c MD5sum: d8f34487dc2a407961f27582618d847d Description: The Apron Numerical Abstract Domain Library (OCaml libraries) This package contains the OCaml libraries for Apron Package: libapron-ocaml-dev-dbgsym Source: apron Version: 0.9.15-1+trixie Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 810 Depends: libapron-ocaml-dev (= 0.9.15-1+trixie) Priority: optional Section: debug Filename: pool/main/a/apron/libapron-ocaml-dev-dbgsym_0.9.15-1+trixie_amd64.deb Size: 410664 SHA256: 0d8e9e5bb6bb2aaeb6faddb8fe3857fd4abe258dff506f129022cc46f2ed4631 SHA1: ab9f5dfa1045f35b082a188edd93f79bab7ebb30 MD5sum: 4ddb74bdbb37293c0ff5cb620cb7815b Description: debug symbols for libapron-ocaml-dev Build-Ids: 01b2df87fe15c7f18628b26a4218b39184950e9f 0227cebaf9709ecbc3c87314ac6e2481a48e568f 0274cc558fef551402c9be884bcd2e7c6bfea83e 22a3daafcd2d34bc6139fcbe947386b77d8b4616 37b4cfafce2ddfd3096dbed86e7252542e2199a3 4b683f8bbae6656dcacef73449bba67d01394291 52e62e07439bf09ab813c7489a8a88d327ec7b9b 5473fc0560132cc775eea1cdc3651c8fa809c4d4 635f61d4cfdf7fb8eccca3f5e3c8d2e0507763ff 7041bc26806ebd6e8008fb1183af800a53cbd80c 76d2f6bccaf88065bb1289f481dcbda982ec933e 76ec3fb92a563d64feac4e40bdaf38b1567134a2 849dbf5b6eea7104cb98af562eb8819d9717b2d2 87fad0340304289793e9b3b86b67b438c6044f5a 94240e9ece16b1b34add5ff75c189b81090a0298 95c6186b184f0913f3cd3195c3cb7dfcf3d3a424 a62c3d261b3013f75c4c5627459e355c9f52f1ad a9182b1ba5135b4118e3efb08aadc701679145fe abc1bf8156a207271ef6dec9e06a6fffbf0cdd6f ade0f955b682efcac4c61de38320b8d4a724b653 b026a48fc85e39a909b7922b776a0ffa92e0f9db b4c0f671c97974a8e5165df20a0069a756a71030 bc9c7161dab079affdbd92049c527b47623cb4d7 bd1fbfa35ccdb19c2199c2c2c245d21ad2761019 c1c5c71ec15fee0cc04e29d724bfc34d8a39cb2b d7d694ece5d02ecc7eafc26d7eae7357d45f93c6 d93e01aa18e4ae87be369e8982c87edfdedb4dd1 d950452fd48768c31bf8f50d5dad5e6d6bcbf44b e53b74d41e21961a4d7f8f91a30f95e3be155ee2 fb7ee1619566c3a87f3804ff59befb4e5facb331 Package: libbitwuzla-cxx-ocaml-dev Source: bitwuzla Version: 0.9.0-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 29042 Depends: libmpfr-dev Priority: optional Section: libs Filename: pool/main/b/bitwuzla/libbitwuzla-cxx-ocaml-dev_0.9.0-1+trixie_amd64.deb Size: 6391560 SHA256: a52536007153755d4b280a71c07cfaa579f53075e7186c43d0b79e7882e3b685 SHA1: 738d70f654b9aae0d5c217b9364e3920e5edb175 MD5sum: 416bd40cc8c9294366a67e48f235a10f Description: SMT solver for AUFBVFP (C++ API) Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”. Package: libbitwuzla-cxx-ocaml-dev-dbgsym Source: bitwuzla Version: 0.9.0-1+trixie Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 70715 Depends: libbitwuzla-cxx-ocaml-dev (= 0.9.0-1+trixie) Priority: optional Section: debug Filename: pool/main/b/bitwuzla/libbitwuzla-cxx-ocaml-dev-dbgsym_0.9.0-1+trixie_amd64.deb Size: 70161596 SHA256: 2b1c56ce3031d3c18e95cf328229213d00286da5f3bbe65df151a491d210d674 SHA1: 11421a4f95a6d79c71811b519cd1778f0ba79c7f MD5sum: 5152c0a469f505d0497d4e3a8d911ed1 Description: debug symbols for libbitwuzla-cxx-ocaml-dev Build-Ids: 2698fb45bac734884388a62132245f9bdd810ed1 2a256fc7b600889254aba24d809c36480a6a0a46 3aac504c93026c4a945298230e9792df92a08641 3d74bea48966e0602b05528ce648cb6b7dd94ee5 55a44da9267e6b94c6395134cb8e0492eede17bd 78473962eaa087b9319de1c6061226535c8b3287 c06bbabb7ffe5e61617432752da55e07cba490b3 c2b6a9dcd73be475d5bb1f7ac7a0a30dd4337ff7 e27909adbfe9e58908b5548ee15d30db5da6eb19 f7e99bf94157d9dd6498c1c59b1a7662ce85f3e1 Package: libgmpidl-ocaml Version: 1.3.0-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 1106 Conflicts: libgmp-ocaml Priority: optional Section: ocaml Filename: pool/main/libg/libgmpidl-ocaml/libgmpidl-ocaml_1.3.0-1+trixie_amd64.deb Size: 211232 SHA256: 147b4363e41fed99641fe1ff4a384f6aeefd47c9982a89ef2c3bc39ce4d5cfd0 SHA1: 7da54eaa9ac9ac39793e13ac636ea0c8f387e6e5 MD5sum: 116a030cde7c221bb3925d7d73d3be23 Description: OCaml interface to the GMP library This is MLGMPIDL. Package: libgmpidl-ocaml-dbgsym Source: libgmpidl-ocaml Version: 1.3.0-1+trixie Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 320 Depends: libgmpidl-ocaml (= 1.3.0-1+trixie) Priority: optional Section: debug Filename: pool/main/libg/libgmpidl-ocaml/libgmpidl-ocaml-dbgsym_1.3.0-1+trixie_amd64.deb Size: 223804 SHA256: 8fdf8b55adb00927d502f67a4855db506ce5302b4e33a1725dda8633f8cdce22 SHA1: c6ef973ac70e89b8547f6cd9233917720ce0edd5 MD5sum: be5ec15ed96a7c8348880f6a7046ec92 Description: debug symbols for libgmpidl-ocaml Build-Ids: 94eedfd86c3c3786ee77a4d7c7e3f16414c934ae ac94c8eb38e83b85be18040a2266ee27685fe94c Package: libjasmin-easycrypt Source: jasmin-compiler Version: 2026.03.2-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 270 Recommends: easycrypt Priority: optional Section: misc Filename: pool/main/j/jasmin-compiler/libjasmin-easycrypt_2026.03.2-1+trixie_amd64.deb Size: 45720 SHA256: cb7eb6a5ba82b71607f4c890a0873c4e70f6a1270dfe63563b163857be2d8425 SHA1: 5a36053291e655c2b2cc81e928c005a1f551a2e3 MD5sum: 94007a22674c90e0f9db1b4bfb7895fe Description: The Jasmin Workbench for High-Assurance Cryptography Implementations (EasyCrypt libraries) This package contains the EasyCrypt libraries of Jasmin Package: libjasmin-ocaml-dev Source: jasmin-compiler Version: 2026.03.2-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 57133 Depends: libangstrom-ocaml-dev, libbatteries-ocaml-dev, libmenhir-ocaml-dev, libzarith-ocaml-dev Priority: optional Section: ocaml Filename: pool/main/j/jasmin-compiler/libjasmin-ocaml-dev_2026.03.2-1+trixie_amd64.deb Size: 28673564 SHA256: 2451220d29eb1c27cbb64852a72b07508659a8296ea66e72509f324670f15136 SHA1: 76e68ebf03489cec75202113f6e4441837ed92fc MD5sum: 59ed3efbac59e16c85277a737f2b65d5 Description: The Jasmin Workbench for High-Assurance Cryptography Implementations (OCaml libraries) This package contains the OCaml libraries of Jasmin Package: libjasmin-ocaml-dev-dbgsym Source: jasmin-compiler Version: 2026.03.2-1+trixie Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 2009 Depends: libjasmin-ocaml-dev (= 2026.03.2-1+trixie) Priority: optional Section: debug Filename: pool/main/j/jasmin-compiler/libjasmin-ocaml-dev-dbgsym_2026.03.2-1+trixie_amd64.deb Size: 587428 SHA256: f861a8ac658a5edcd66d06d58be8277d29a0561463e7be93c8378ba629646ba0 SHA1: 1880c509e03972ed06b9b8aad2f84f1542551d0f MD5sum: 2d8a4af81b3c84ee14e5f374bd5f15c6 Description: debug symbols for libjasmin-ocaml-dev Build-Ids: 057723ba844bbb99efc04960e59e3da848bcd781 0be8ce802968237b21e85082c20e56fb5314d665 8cc635e1d050908aeaa307d48c58640ecee26b8c b118dff807bdf3acead431ea9e8191c52861f2ca Package: libmarkdown-ocaml-dev Source: markdown Version: 0.2.1-1+trixie Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 352 Depends: libbatteries-ocaml-dev, libtyxml-ocaml Priority: optional Section: ocaml Filename: pool/main/m/markdown/libmarkdown-ocaml-dev_0.2.1-1+trixie_amd64.deb Size: 151668 SHA256: 5b9f5e20fe75923d26ead2d28c9718fd173ced1b97aaa418a962ba06b5b3e034 SHA1: cbef3d8d49855554b2ae30a69fb134c30a62eb5b MD5sum: b2331c37bb7434a16ff87cd3c8599c32 Description: Markdown processor for Ocsigen This is a pure OCaml parser for Markdown files. It was originally written for Ocsigen but may be useful in other contexts too. Package: libmarkdown-ocaml-dev-dbgsym Source: markdown Version: 0.2.1-1+trixie Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Vincent Laporte Installed-Size: 37 Depends: libmarkdown-ocaml-dev (= 0.2.1-1+trixie) Priority: optional Section: debug Filename: pool/main/m/markdown/libmarkdown-ocaml-dev-dbgsym_0.2.1-1+trixie_amd64.deb Size: 8572 SHA256: e902e9a5de114fd930c7b0ea820308c181d1a740e757d0ea0a06c9dbe6ff3f31 SHA1: c656a6ac79292343baa8d1929bd1f58137f235ff MD5sum: 369d16e494bac215f8c4f0d3d65bdf67 Description: debug symbols for libmarkdown-ocaml-dev Build-Ids: 93ec9fcac9dac844956c22ee9e39e3e5bfa7c18f a74b6d25930c86e183ed961baabc9726cfd9c56c