Format: 1.8
Date: Fri, 03 Nov 2023 08:16:32 +0100
Source: psmt2-frontend
Binary: libpsmt2-frontend-ocaml libpsmt2-frontend-ocaml-dev psmt2-frontend
Built-For-Profiles: noudeb
Architecture: armhf
Version: 0.4.0-3build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-008.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libpsmt2-frontend-ocaml - Parse and type-check SMT-LIB 2 (runtime files)
 libpsmt2-frontend-ocaml-dev - Parse and type-check SMT-LIB 2 (dev files)
 psmt2-frontend - Parse and type-check SMT-LIB 2 (tool)
Changes:
 psmt2-frontend (0.4.0-3build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 51f65eb8d386fa58e2463a7c377d3201017fd22b 40994 libpsmt2-frontend-ocaml-dbgsym_0.4.0-3build1_armhf.ddeb
 f1f591161176eaafee408383c7c44956af566937 1442022 libpsmt2-frontend-ocaml-dev_0.4.0-3build1_armhf.deb
 bf695d49b4a666a4e4eda7c865a74dff521f77b3 1129746 libpsmt2-frontend-ocaml_0.4.0-3build1_armhf.deb
 5255cfedaa1e8e490c193411f6059c4ab76806d2 138372 psmt2-frontend-dbgsym_0.4.0-3build1_armhf.ddeb
 4dc4913f97e65a2c6af0800738fdf881306b4bfb 7181 psmt2-frontend_0.4.0-3build1_armhf.buildinfo
 4c038fad69755fd46f634b7962d5662898c7f1b8 469754 psmt2-frontend_0.4.0-3build1_armhf.deb
Checksums-Sha256:
 1f72980b75ab9be9f281dd0f528d448c0a43875ee8672d413a2addc88fbaffa6 40994 libpsmt2-frontend-ocaml-dbgsym_0.4.0-3build1_armhf.ddeb
 8f59b7c795583f8d0c9aa020c5f3a8a162cffd37fb2cd6851e73a5650bdaa22e 1442022 libpsmt2-frontend-ocaml-dev_0.4.0-3build1_armhf.deb
 83b247269a084f08f6e5158295dbe56fc26db1d07d78d8577e81d795efa51194 1129746 libpsmt2-frontend-ocaml_0.4.0-3build1_armhf.deb
 23f8e84c6acdf1ae04266165c4fc0ef338a73c24cc11fce790193efbd47d8988 138372 psmt2-frontend-dbgsym_0.4.0-3build1_armhf.ddeb
 12ca1d115932263f281655f2f9756ff6c324bf5a18b33f03646cb0285d9d33e5 7181 psmt2-frontend_0.4.0-3build1_armhf.buildinfo
 7c6107de816a9579586987445c4dd29ae0886fc8f181bf847ae47de35bc6e9ea 469754 psmt2-frontend_0.4.0-3build1_armhf.deb
Files:
 c2ba14b7ecfde09e19e71791464d6b95 40994 debug optional libpsmt2-frontend-ocaml-dbgsym_0.4.0-3build1_armhf.ddeb
 84b5bb9df751149d9db30b56873e751c 1442022 ocaml optional libpsmt2-frontend-ocaml-dev_0.4.0-3build1_armhf.deb
 824dbd1e84c2930acf10798ad36c4f95 1129746 ocaml optional libpsmt2-frontend-ocaml_0.4.0-3build1_armhf.deb
 adcc6c2d8122f4f23dea411141dda825 138372 debug optional psmt2-frontend-dbgsym_0.4.0-3build1_armhf.ddeb
 abd370617cf32a68c7fdcbe1fc488aa5 7181 ocaml optional psmt2-frontend_0.4.0-3build1_armhf.buildinfo
 2f228ed6b70b079101730a99ac350f33 469754 ocaml optional psmt2-frontend_0.4.0-3build1_armhf.deb