Accepted otags 4.05.1-1 (source amd64) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 22 Sep 2017 22:41:22 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 4.05.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Hendrik Tews <hend...@askra.de> Description: otags - tags file generator for OCaml Closes: 873234 Changes: otags (4.05.1-1) unstable; urgency=low . * Team upload. * New upstream version 4.05.1 * delete disable-sexplib-tests patch * compat level 10, standards version 4.1.0 * drop camlp4 from build dependencies * remove Mike Furr from uploaders (Closes: 873234) * update copyright year * disable creation of /usr/share/otags/hints - parsing hints are currently not supported upstream * delete camlp4-extra dependency and dh_ocaml override - no camlp4 anymore Checksums-Sha1: 916f58922c505c4370f5141ac121d5a1c832b264 1996 otags_4.05.1-1.dsc 90140b840ea8ed5d9a049decfef798ed72a34303 52851 otags_4.05.1.orig.tar.gz 4819bf86fe1761c022db8ec402ccc3d5cd1e531c 4816 otags_4.05.1-1.debian.tar.xz 2947d1621688a61718407c91bdbd4ca629f1e57e 408198 otags-dbgsym_4.05.1-1_amd64.deb 5c80c6f437e78576f30644876f27b19b115808a6 5942 otags_4.05.1-1_amd64.buildinfo 2b9dbf5baa5988b235e37fe096302e27088504a6 1411892 otags_4.05.1-1_amd64.deb Checksums-Sha256: 56441ae8108be2eae43dcf65f2f4b35aa5976894baccc5c4cba5e98ec04b 1996 otags_4.05.1-1.dsc a027f4bc9a3d4cafc9ad1a5ddd9aa303a5fe7cee8bb09f8a42bcb00b86da02a9 52851 otags_4.05.1.orig.tar.gz 84e4b81a5bb97ea99d77f3cb09331d42067eed82070d6528da589f754197f226 4816 otags_4.05.1-1.debian.tar.xz 4fd1c30506ae9b5c4c64b48295ed8ebdb96c2afbb1b32f8efb46c4727a549926 408198 otags-dbgsym_4.05.1-1_amd64.deb 54151250885702de1653142fef8b3b5a238299f6046a5ee1e493c7f08adbf6ef 5942 otags_4.05.1-1_amd64.buildinfo 2c63792ac8bd0a88ea9b7c1619eebe9d70f2d3fbdd68a47e7aaebfa5c1038e81 1411892 otags_4.05.1-1_amd64.deb Files: 33128bdc65fca7ba12ad9688e8b3e8cb 1996 ocaml optional otags_4.05.1-1.dsc 61ea92f290bc36fd4263ad037ededed3 52851 ocaml optional otags_4.05.1.orig.tar.gz e873d538630d8685799c6c4589b2c477 4816 ocaml optional otags_4.05.1-1.debian.tar.xz 7adb226564960ca4e4393292e4e9ee03 408198 debug optional otags-dbgsym_4.05.1-1_amd64.deb acb28291239038bf33c6278b455d2499 5942 ocaml optional otags_4.05.1-1_amd64.buildinfo 4d2ed42fd2c4d115e759a758f7ff0bd5 1411892 ocaml optional otags_4.05.1-1_amd64.deb -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnItfYACgkQeFPaTUmI GtNXnQ//V+iPvuz7M6aQQFQ1pYAeGR+uwmyzuLP+eT2k8QFJ1Ke61ty8PhanBjI+ a7eynoQ3xsQmlCGfoODscXbktW2CmpZisnSEtZfZd8Td2C0G821NJX9U6YPuK2aW P8q99h1sVetrE3ZKCjUP3FUuuty+iXARE/gnhtKRZLS+Tmhq1zVCUpNU3hbMdyCQ nAfGwk8TlxwgPHa+IB9V6uLSiafLZZl8qsCMvsFTbxc9oR2qUT3XsEUTS4vYARtR cIbZhVavKSpvW76D1HQanK67FuyMUljIR8MOLuN42ShkAcQyxFVOpGbtQWUK4gZm JPdft18LEVwUGQtI3iywj+l1YJxnemFHZVn9GuPn/D/R4nHsS3PwKSe0dvQRKrGB BQmArtz6E+0oETl4wr3TmY8//32ECEjThT6oZRmMTHpUe5inJLKZkqJH5nB8dCgC A97aOh3Aic5lqVTc6hpT+hy+W4vdrw8T6ZKAPu1HqdyvdWMcbdYr2o1vaX03k1rA 1CwI4N7W9empB4lQFRiJN88L0xkGQdNMs7aBqPLopxEkSETjmLz49AdOF+7Pwmu0 oa9tkf8bQFwaSN6kwckKkDRwuDPcz5xY8+F5FBlvvS6BEk7mV6ryX5iFM0MWC8Zf OMQEw39E3L5pT0FnZeRuhEte8buwZ4mA51nFIT2wh4lGMyd14Ac= =UzXv -END PGP SIGNATURE-
Accepted hol-light 20170109-2 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 02 Aug 2017 23:05:25 +0200 Source: hol-light Binary: hol-light Architecture: source Version: 20170109-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Hendrik Tews <hend...@askra.de> Description: hol-light - HOL Light theorem prover Closes: 868606 Changes: hol-light (20170109-2) unstable; urgency=medium . [ Hendrik Tews ] * add patch camlp5-7 for fixing FTBFS with camlp5-7.01 (Closes: #868606) * update build dependency for camlp5 Checksums-Sha1: 9d914db2a7d838e6e3426305287c221c02f8d05f 1683 hol-light_20170109-2.dsc 9a723b5a3db825d6e1490309d9a23e83821b461b 9488 hol-light_20170109-2.debian.tar.xz Checksums-Sha256: fa729b57525d5b6e58a6b63dcab6431593ea7a0b69256f83c36295c8f7d199fa 1683 hol-light_20170109-2.dsc f7e4d38b42637af899412b4f258f0b25b39f354022642c4c9e5fc275ca3dff7f 9488 hol-light_20170109-2.debian.tar.xz Files: 2fbce29add379c83ce39b8567b729982 1683 math extra hol-light_20170109-2.dsc b94dd963bc2c3b009a83eaeefc45ab9a 9488 math extra hol-light_20170109-2.debian.tar.xz -BEGIN PGP SIGNATURE- Version: GnuPG v2 iQEcBAEBCAAGBQJZgnoVAAoJEMrC2LnNLKX5WygIAL2/etvSrAgPtY+Q+Z08gvzI A6G5UPKUe4SgrcsFvEljMthGssaMFmpxlIce1lfxET6EJsQ8B9xkg2pA9qsXsqv5 OmlXDs+SvuB1bOqT7O1IKKKzYop7fGKmXERNezXL2WlZtALH1pq391uZfzfT0g5R jO0F/Jf42gk9nMstjK03j8msWYiSi8/ze2jz2kCwqcji5tYnKawfcco24I5y9QK3 1Kcro+9nhlQZriiVMCgY5DVM6RCGUnN+AMJUnnHOENRhZN914Lr9cav9cfKC8SIn Sl4wDvtsZk48Q5XAKXdydx1/G82TC4mGj6l+mPM3vey1jT4K9HVP1gWo0ENtPlM= =7y/D -END PGP SIGNATURE-
Accepted coq-doc 8.6-1 (source all) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 05 Jul 2017 22:29:28 +0200 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.6-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Hendrik Tews <hend...@askra.de> Description: coq-doc- documentation for Coq coq-doc-html - documentation for Coq in html format coq-doc-pdf - documentation for Coq in pdf format Closes: 864468 Changes: coq-doc (8.6-1) unstable; urgency=medium . * Team upload. * New upstream version 8.6 (Closes: #864468) * add myself to uploaders * bump standards version to 4.0.0 * fix build dependencies * changed Vcs fields to https * fixed missing axiom picture in FAQ * remove unterminated_string_literal patch (fixed upstream) * updated doc-base entries * added .gitignore in debian dir to ignore editor backups Checksums-Sha1: 81f0064acf31cad8e43a0b5a0a39be1d889b800d 2311 coq-doc_8.6-1.dsc 617a6f86d09dde0e409f3fa22268daf7be3f5bba 5538848 coq-doc_8.6.orig.tar.gz 89f25276ebed1b2a5cda46b3951a8bb2ed6eb3c9 8304 coq-doc_8.6-1.debian.tar.xz 8ac904d680e0ac36ce1d804eb207538c415526a1 548554 coq-doc-html_8.6-1_all.deb 4f2a7e83c90cc8c32980f3cbd9a1131870529094 2592376 coq-doc-pdf_8.6-1_all.deb 163aff2cf3c2a0edc00de2ccd87fc35995415b1c 63758 coq-doc_8.6-1_all.deb 5cf6b358ead2065e34c28d78e0c2d76765fcdf98 9486 coq-doc_8.6-1_amd64.buildinfo Checksums-Sha256: 891b5c950b816da588e1c79fcff3c2d2ec6edfecdd67941764f19ca71b9f6dca 2311 coq-doc_8.6-1.dsc 6e3c3cf5c8e2b0b760dc52738e2e849f3a8c630869659ecc0cf41413fcee81df 5538848 coq-doc_8.6.orig.tar.gz 23e6aa6301217856b5502c80ad42e50e6a8d71fc82e79ba26f0f22b627bd03b6 8304 coq-doc_8.6-1.debian.tar.xz 0ed05f70217fd734d413cf7ae4dc0497ba466353305f46a2c803168485b64ee3 548554 coq-doc-html_8.6-1_all.deb 327be56c7fce4cc98dff30a5cf05a84b9b2698d213eea0bb0e8b2f5e581d4abd 2592376 coq-doc-pdf_8.6-1_all.deb 1f99c276671fafd5d4617d1a53495c97b4f25acfa07add51337579db29a8f011 63758 coq-doc_8.6-1_all.deb f44324b36b3edd4d7f0d8c9c60e462a4dd06f2d9e374918212af6592a31ad33c 9486 coq-doc_8.6-1_amd64.buildinfo Files: 234813f057f23a461c5c50684a867a18 2311 non-free/doc optional coq-doc_8.6-1.dsc e7f1704b85d648468160abe03338f1bd 5538848 non-free/doc optional coq-doc_8.6.orig.tar.gz b527d74b23bd463898245bd4a5cceab1 8304 non-free/doc optional coq-doc_8.6-1.debian.tar.xz 9632cc05fa4b726f40d931dd1350d0eb 548554 non-free/doc optional coq-doc-html_8.6-1_all.deb 338d9464cfd5b6725aa11d38bd5df5ae 2592376 non-free/doc optional coq-doc-pdf_8.6-1_all.deb 6dc4be592dfa4e4af0484fef809406b4 63758 non-free/doc optional coq-doc_8.6-1_all.deb b31097dd81f62b0f1c1ca90cabb6dd95 9486 non-free/doc optional coq-doc_8.6-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAllnTFcACgkQeFPaTUmI GtP46hAAnQ88nYRC0voNZJYAg5LUJdjpMNqVX96jBbqScDq50qFy+fJQfb9O7hr4 i326bzYSiMQe64lnTx+hK8wQjDFU7+nuruiKl6b/YF/U/MMC+Q7jxgTjHYpj5caz 23NHF1eOYzCheTXHMJaJTWV88AqJY1SCWfrLU2YQWmxnM0ier8T+VXfT2kwMWmQY i/QZuPL53eL2V8neh1ktgaR15zBfWaiwf1EoTXTZzkWbzUrI/rQkASTnk3OT6TrK SX6n0u1I2CoyhdfTUGdhRSNCuXSyu69WW93wMxE9wN1XxVz5yfrrsONVUPpPhh2S yozpvD0UpCCxRif+wSO4DUuldibARBVheI5D8E6fz3o956aBZ3cvsxUyLrlvDmvP Eq2enZ5z+YpqMDcI3+vuAS6h8yPSNoAIfmIyJJ4dYdEt9ASRWCJptq3k1skhS9kf LhVBEqgFDO6g2kHlavJ2TU7eH5hzuXKkWEcc1hou8f0b5X6t880nS/0GLm7KPeJN JwTR4Qy5QBoMOoit03+kvfCOnZ5+mgR/+ZkbCu57lSIdX+E6wjcOvu0YIt4VwYMd LEjeOkYy/MT+OmkqmNBhxhmUyfKaOzYPb4ZYsXd1QDLx8Qm1pgnCwXP0e12CZu41 1kT3JZZLhcD0RU3+ZJyfq57bPpR2i+zeIgVXiIo86AFIvhugHeg= =Mypz -END PGP SIGNATURE-
Accepted proofgeneral 4.4.1~pre170114-1 (source all) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 16 Jan 2017 17:30:55 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.4.1~pre170114-1 Distribution: unstable Urgency: medium Maintainer: Hendrik Tews <hend...@askra.de> Changed-By: Hendrik Tews <hend...@askra.de> Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 758968 Changes: proofgeneral (4.4.1~pre170114-1) unstable; urgency=medium . * Imported Upstream version 4.4.1~pre170114 git hash 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899 * fix lintian copyright issue * add patch fix-coqtags and install coqtags * add emacsen compat file (Closes: #758968) * add patch desktop-keyword-entry for desktop-entry-lacks-keywords-entry lintian warning * disable StartupWMClass towards a solution of #746466 * fix emacs warning inside emacsen-install Checksums-Sha1: 16681a401f74e3857f0d5e18df3ce3729afbb043 1989 proofgeneral_4.4.1~pre170114-1.dsc e0fec0c4d6c6203c8a6325100073911e0db30d74 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz 78df69da42751ef834c9ec5af06bf644d755619a 19736 proofgeneral_4.4.1~pre170114-1.debian.tar.xz 83533e7052276ea19e6c7703de7a4cbe1df3ed1b 682170 proofgeneral-doc_4.4.1~pre170114-1_all.deb 16fcf349a6da89676d6529fb705fa6bad4639379 603216 proofgeneral_4.4.1~pre170114-1_all.deb 18ba262302ebb1b03586b53528b053f5a5e98cd1 10531 proofgeneral_4.4.1~pre170114-1_amd64.buildinfo Checksums-Sha256: 29e9c41f3fabf0a0c2f7e4249fccb6c8222a67ce8c8738d3f9172badf290fcd2 1989 proofgeneral_4.4.1~pre170114-1.dsc bdfa34555199aa70fda60906aa7d087d176bf11d3b9f1a60740c37fc3148e50d 9299752 proofgeneral_4.4.1~pre170114.orig.tar.xz babfc1232f9a7bdbf295173a3446a3d06ec74ec05dd05c230b5b5e3f08587db8 19736 proofgeneral_4.4.1~pre170114-1.debian.tar.xz aad339223831dbc608f5e172592daf135e8cb6c04a94e016398b1497bfd7d9fd 682170 proofgeneral-doc_4.4.1~pre170114-1_all.deb 7b5b5a563fb4a0bb5cb02ec0b5be98796b48523878c523881a084e5f0291aa57 603216 proofgeneral_4.4.1~pre170114-1_all.deb 8f668b76d8ebce3a7576dd8a26202b4ecf0590bfb0f319190d7b33fe75f76eae 10531 proofgeneral_4.4.1~pre170114-1_amd64.buildinfo Files: 95ce9cc0fb5be757fcee7fc479ddbb44 1989 editors optional proofgeneral_4.4.1~pre170114-1.dsc 56ff3a7d19e7062598664674aa890332 9299752 editors optional proofgeneral_4.4.1~pre170114.orig.tar.xz 00ecaa67c5c812bfa5c6243e9ab3c0fb 19736 editors optional proofgeneral_4.4.1~pre170114-1.debian.tar.xz 7691ccce2475d1851315d81cf6929c57 682170 doc optional proofgeneral-doc_4.4.1~pre170114-1_all.deb 5cdefda2973dea8206ae1b93c61e87e7 603216 editors optional proofgeneral_4.4.1~pre170114-1_all.deb 6d73ed8e8691c70a6ad3fccd60cceca7 10531 editors optional proofgeneral_4.4.1~pre170114-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEELxwEo2l/3m4i/s6V8EC9TJPIWtIFAlh9PAwACgkQ8EC9TJPI WtLAig/+Pd0q1Umgh93k1/g9K9fvNs540QfK3GdS5mFU6vKi7vACo+3z5JkTyq1c yRDq7gi7sitEPggLxOYDF/E4XUNyql+irBZbHZyWqu9lNH1Ac8s/0vBZLzH4dxDc 9E7y/G/pCaovyvhX1isJ80CEVVkiVGyN5kCO6r2alD3pbOZxPbqAZFP/+7X5sQcc mtMO1dLV5q4/qkOmFRJDYNSKv/IzPUHHOSs9e61HNFDWgnckXS+C44rLWHjEq3Cm 3LUEggX9y4htVo01AI4Yhf8QyHQvrTYua0wYv+rvKqpJ5g1mM/4ewvGAKkUw2wgb 1O92h92QaEG79vPggGxCxhQ5OuC4vittp3jvoclgFV5eFIWn+M18JvCjpZd/ySQ1 B+acew1bySN2IpH0bNJliXRViPJErbizOTPViULpTivszNi44TzQ0IapBe2owRvc OTdbYJ3l8bpaqqLmVYai+vfPIoeQicDJQCgaaL7avBM9OLRghWynWp67LHT5q8pc yQYhvDDoUFG4x6yW1gJQocuEpklDBmrqTj2ndTj2pz4U97jNCv99FFpAf904xZRw k6fBlGLKEMhju2bakrmpIS4e3YnAycaLdlid+dVFLzjBCMnZos9N0wT8VdtMBqIZ dSH98qrPiBgM6evnNupa9D3u7g7h0YcsXitXIKQOUbult6j4lTw= =irL+ -END PGP SIGNATURE-
Accepted hol-light 20170109-1 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 09 Jan 2017 23:27:28 +0100 Source: hol-light Binary: hol-light Architecture: source Version: 20170109-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Hendrik Tews <hend...@askra.de> Description: hol-light - HOL Light theorem prover Changes: hol-light (20170109-1) unstable; urgency=low . [ Mehdi Dogguy ] * Update watch file . [ Hendrik Tews ] * Imported Upstream version 20170109 with git hash f468686c09996f77ccfa98c30ba98f8db2c8cfd9 * update copyright, patches, README.Debian * standards-version 3.9.8; update Vcs fields * disable building the Mizarlight syntax extension (fails upstream with OCaml 4.02 - already reported to John Harrison) * clear exec bit fix on RichterHilbertAxiomGeometry/Topology.ml (fixed upstream) * add exec bit fixes for Help/HYP_TAC.doc, RichterHilbertAxiomGeometry/TarskiAxiomGeometry_read.ml and Multivariate/cvectors.ml * don't install jar files in Proofrecording/tools * add patch cd-holtest-parallel to fix current directory in parallel test Checksums-Sha1: 59f9c0b5b270dcde41ba286b25a914a8d4468f45 2044 hol-light_20170109-1.dsc 569b1cb1f4a0a3e18243dd37721c7ef4058d64ef 6077715 hol-light_20170109.orig.tar.gz 723740955594d45e268fe07c85f742bc2409420d 9140 hol-light_20170109-1.debian.tar.xz Checksums-Sha256: bde3a616e2460a0b63a7ead9c328f9695f33aa51df05898600c9c7ef940a4786 2044 hol-light_20170109-1.dsc 88f2d949d7a35ed6d9f14642d21dc9ef5765f1d50f400e31d74c6ee70aa8a2ea 6077715 hol-light_20170109.orig.tar.gz 6f6ef907863c1744de3b9ef2c53091604a27e3a55d8636c5b632502c273d1e8a 9140 hol-light_20170109-1.debian.tar.xz Files: 4a9ea05f5c7dd7c2821f8f1ea1788705 2044 math extra hol-light_20170109-1.dsc 5b87d7adf25aec8374a8f26b82912dfe 6077715 math extra hol-light_20170109.orig.tar.gz 6eaa704bd5773348edfdb2da3ec9a174 9140 math extra hol-light_20170109-1.debian.tar.xz -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlh7W0sACgkQdFxHZtTK zf9gug/+PY3U0vMU+kTwhv1YNuxoXVVcOQj+wnsBN1AmUKQPigR6Nu8c2gvyv9RI 3yXN5T7asMBuiQfIKoBtH06H4qoVtjqMH2RdIUiWmUcIpqF0JhPBpkg9JhxVphF9 OCHOq6Cp1t4JVCQVlISQ3FyJ4G4Ox6mu89ya/SddDvYQOHlqlsWjghRxN5f4wgMo JP4KVoao7yL9W/TUICphRCNagNxLukGBbjO+85VRClyGx/yCf0bJbSq/kkpymoDv TVqB0KHiDuD+D1Jsr3V+ofrmfm+KoqkYLwG/Xry4uP6vG9hBGqYVAuduVr39JQL6 W+P6ncevsYvKbDv0SvcKPtXcixo6ljiZiq6rl6zpyucRZ0cvHWqf9Hpq2wrmVfuM 1hE0uCB850NyEN9dYfVcPcuiU9saE26Jyxxx/p/NVtxf3VsPgl+mg6xjTyO1RHVe eg3XfbCC/SsMW6cCsB1TUTbyC5wmZegFESXlhjVYCxGOvqFRXCzwGTVZvgzo7G/P 7mfd24OW0RxCWYc4C0zh97+yrzkjo61C9+DIucu7a3+e5X3gBO4SP6yFsx3sBxgJ 91YqPVwDfx7WA9GU77uE/QoJAR+kN9a+Ck/tQvMe4eAM7tm8y7LxpLlj/6yKAOYK aNrL/+iRXkJ3rKCaWziYth9GdPK/vRMzgPUj7mMeuQL2OytsXeo= =ftlj -END PGP SIGNATURE-
Accepted prooftree 0.13-1 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 03 Jan 2017 16:29:09 +0100 Source: prooftree Binary: prooftree Architecture: source Version: 0.13-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Hendrik Tews <hend...@askra.de> Description: prooftree - proof-tree visualization for Proof General Changes: prooftree (0.13-1) unstable; urgency=medium . * Imported Upstream version 0.13 * delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream) * push standards version to 3.9.8 * fix some lintian warnings Checksums-Sha1: 469516f1cbf8f128801918fa9fa8eaaa0a498562 2022 prooftree_0.13-1.dsc 7a594f25f09301fb8318c2b84dba515fd3f6ae60 113178 prooftree_0.13.orig.tar.gz 1080c9f1dd19d813e08de05b261852c3cc9defd5 2364 prooftree_0.13-1.debian.tar.xz Checksums-Sha256: 55093c7d6811708b24dec0d3d6089d3b6d339fefbc8d1da18b531eb89bcca9cb 2022 prooftree_0.13-1.dsc b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz 8b0c424711fd5efaa97b369a5931d713dda3ef457d91a1f132bb3c0ac102a2f4 2364 prooftree_0.13-1.debian.tar.xz Files: 6e5143901620aff2dd75438207cf36bd 2022 science optional prooftree_0.13-1.dsc c6a984cbdb0c631a2fceda2541df02b2 113178 science optional prooftree_0.13.orig.tar.gz bf5378bd2ce8a597475e7cd68ffb6c7e 2364 science optional prooftree_0.13-1.debian.tar.xz -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlh6aV0ACgkQdFxHZtTK zf9QXw//YUrfq9QKZV6q9puxKtiSs8aT0bebZ+HQfH69i/kg0DJVOo+6eM0UmpJs 9Na33MckTHM2QjdYFZ/57zx1CEMo/aDMQh6OZSkjDmXvuXdBdAQG79f9uwOYt+fD z3I7DCr3ZvHS7PVUKWmf15pe1sygCKRTaSfezX1z9tV1Eb2BrX89oNejo4988xx3 0+1FwBzi/L8da4xemnWvsopTT62Jac01syDDYiK1lWhzrtzDvMdndtSk7akoACu/ glyc43Gdp9QPXpugKYuKmiA+e4l/x8AM0Tef+cqP4vFPkjgUwFUOP1pRmuQJaQ4U eHLFTjZieqcB6eVpKe9eGj0rlxm2WdNTo7CVQ7aUjbBExItLq/TewXsTHHf3I5o0 cwXPhlZgrG6poOPL0lRY0p3V9LHUfhgmZDx21MLZ1aC/iwKhWD8r2+NZ2sgJmUZn b+ENx07uyBXvPc2nH45JdgZmtrmLpOdyIf9qeGjE9PE6HfNmbcP1MW7ItFnMkj4E Poqn2vjsNS/S5Dgu+OsdF3untDPx6NJP/NlcwmMPwkbGGeTSLRs2wBAyRAOgS89+ kQNEuE6zr/bJpXI7aOpi4mbPKO6Of64FHRow2GLVA8okE9JtQAjPS+KcoFuhMdvW jNad8gUSl7+X9B9RFkwq46vuIXhawDg7uJOJHXTrC/f3Z8FDlF8= =RNiZ -END PGP SIGNATURE-
Accepted hol-light 20131026-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 10 Nov 2013 20:37:21 +0100 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20131026-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: hol-light - HOL Light theorem prover Changes: hol-light (20131026-1) unstable; urgency=low . * new upstream version revision 177 from 2013-10-26 * use new pa_j and adjust camlp5 dependencies * delete executable bit of RichterHilbertAxiomGeometry/Topology.ml during installation Checksums-Sha1: b7fd73a6948d5e94c5badccb226f3deb8431b934 2037 hol-light_20131026-1.dsc 7673e096a7514a93b0a6a654cb2a94d6d717d66c 3261007 hol-light_20131026.orig.tar.bz2 cb0bdb22c11c0396b9507fa3902497284c6c1a28 8482 hol-light_20131026-1.debian.tar.gz 85be58bca5236e67ed728808eceaa3a94f8427c5 3018502 hol-light_20131026-1_amd64.deb Checksums-Sha256: 6f4486d1175e1f2922d2f75357ed53e6d26c96d067e554546598f8be5e5c4b36 2037 hol-light_20131026-1.dsc 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2 da68764a28068477ea73bb00cb2f684888a44bd874e99929d7ebb5306c92eca8 8482 hol-light_20131026-1.debian.tar.gz 8cc3c474704461efefd25902d59625538e7e0166dc74fb64492905d7e3d10bff 3018502 hol-light_20131026-1_amd64.deb Files: 979a8b5c724fb07a243bd65c489cbb25 2037 math extra hol-light_20131026-1.dsc cae02c5f4d039426f6769caf9400761f 3261007 math extra hol-light_20131026.orig.tar.bz2 9f22951b853bf90883bcaa8819eb6cef 8482 math extra hol-light_20131026-1.debian.tar.gz 4b9d3a70dff12050847b0ea288c72544 3018502 math extra hol-light_20131026-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSjpIhAAoJEHhT2k1JiBrTL3YP/25s9r2ovYMtDK/lJ6JwAFjy pKIyfvM3oVgCZ6zS9nw62McHP7ZPuooYzOJLLxZqmaEU8u9c3Stvhy+GCl9Wm8qb pS7VIW+SUE5hH7OSsPy4aU7+RQfTLr3/aFMNQoT/rSVDB+oBbz2RQq6UdXEs5SaZ 8Xrb9DyU9SvSRMnVGSzy1jUc9yDFUkJ6/sbtA/Rrfh612CcSW1myXhSWK2y1Bq65 1cX2YUHpDhfC6XLW87YLfbfHKLour4mhmJPYXYd8LP9e9fn6Ibu7A6LOTYopsyHS Axv6URdeSws4uF36Nj5pw87IU1xqENt4j9EUmT7nwDDb+8XRXzmGf7aQy/F1CEzl s6kHRa50TghEx9+N9UiTwpvvIu1xObJqR2Xp6XPr/udX9TCpXLY0Lj4vG5aPuRIx Lf9bfDCF87s9s+u+M8CAfnFQYS8lGTMqnlUzt9r3DkTGxpbUD51CTK9PiFaH9wBA znyiikcAqn4aEjZAvh7XFwFHZmjKFPT0ZIdsJYUzu6Ea+i/gxwSt1y0onqzGlXP7 eaMaEVC5b+X2b6ZicXuG+rjTni3sgX70S0D5QXyScHbcjlBTJDDUAsMcJFTdg7s1 AN4MreUh38Du/3gGvrNKcJYRbgxRWxusMr990s/MjjuSwFcImjVZBO2Jd3G1+GbS E9k9Cf2Hbi52OrVwzR8l =vO2p -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1vjdw7-0002uq...@franck.debian.org
Accepted hol-light 20130811-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 14 Aug 2013 22:45:11 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20130811-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: hol-light - HOL Light theorem prover Changes: hol-light (20130811-1) unstable; urgency=low . * new upstream version revision 170 from 2013-08-11 * fix vcs fields * refresh patches * delete include-compiler-libs patch (applied upstream) * update elc file path in hol-light-source.exclude * update copyright Checksums-Sha1: fc49e6853b74589727b7e0e8289503ed9c015568 2034 hol-light_20130811-1.dsc 33f772cda95bdcb18d7ae33cbc4884b14c4c1390 4248200 hol-light_20130811.orig.tar.gz fe1a696d255b55c135cacfc5a1acbad3fbe42c72 8402 hol-light_20130811-1.debian.tar.gz 8cc1538dc69153888c1e63bad6a37cd24884713a 2974920 hol-light_20130811-1_amd64.deb Checksums-Sha256: eeb91e9ff7cd03b675b31c50afd1454bebd0f732425813e527236b35e0695e92 2034 hol-light_20130811-1.dsc 1aa98e1cbe899cccd4515f0f8545fb272820f5df88a3260ef272674cf39673d2 4248200 hol-light_20130811.orig.tar.gz 1e123332bbe52b9e2e0f96faad2e798fffa09ef9c77ccba9925d50a47cd4d833 8402 hol-light_20130811-1.debian.tar.gz 4dd2934069439d841b9fd886d5855ad7996f2682d97dc3655561adf9ea001573 2974920 hol-light_20130811-1_amd64.deb Files: 8a31df40344c637cad55acaa61f82b97 2034 math extra hol-light_20130811-1.dsc 9b039827f5f89837f69c6ec0771b0cba 4248200 math extra hol-light_20130811.orig.tar.gz a17531b3c3cc8cea6edf6891fa2c6fb6 8402 math extra hol-light_20130811-1.debian.tar.gz d039a2de77885224d32b43c2b75fa5b5 2974920 math extra hol-light_20130811-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJSOcyDAAoJEHhT2k1JiBrTw9AP/2LxqksOnksDAYqaJaDFoHlB ZREoskc+/BvoH5UzDS/oIFH1mChVfk+BBoT29Jdrur5dUeMWPwsUoMg2AROsfE8N atfHbjnEYhxhqE6b5y7U7GPmXR3hfYwPpYV+cy/h5uKO60vaB/hC+/CZs2lX2K6/ pPcGX7HEC2n+IrxyZWQdxQVK89BZyReMlSHwUx80v68DFtvicnUAvglI5K3ZVKA4 F+QVMQ7YsQV78Jz/moPzqFc2Skz5a4QUU3uGkCF/uXkhBnnWv1oflskhL4XiUAgi y5en2gSdG2w77kOjMqnp5S4xyQyzCIGu32glNzNEpKSHQLH7Ly+W+h7OjfkA8pc2 m9Ogc60cs9p3zbq3lRcAcuVL1Z/A4eCkNbePOxca9h+gAsapXymd/8Mqr59My6Cf 8EnlhBHZ/CF8pP6TWxKymWcKpOnsq0vpMNSd7BEUPPlYGKzhJN/aDZEBOFdQ7VxC QcxrsqX1Be/UzS5wfMT6Oak7bDSAcb2KNjn5N0FlhGg1xyHzUJOSgp8nw/5RpAHi w744koPMP0mgT473YL3DjCZ8zDbscX8QpIwhqSagHGNwvjD8T2cbi7WYSoIPNu5O 9LV2yE8fAQfbCSQp+FenPP6E/Fol0PD2YugKtECoK5GJCpg5T9+buyexu0gU8KNL 5/rtLnvXItRiVcUCEfRN =ms1i -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1vmkdj-0007lj...@franck.debian.org
Accepted otags 4.00.2-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 15 Aug 2013 10:22:59 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 4.00.2-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: otags - tags file generator for OCaml Changes: otags (4.00.2-1) experimental; urgency=low . * new upstream release * delete type-conf-name patch * update build dependencies Checksums-Sha1: 0d96def1ad845a9793298c5c14e0cc0a757d9a32 2119 otags_4.00.2-1.dsc 845576a14c730f8fc5839e43ce6e754f69ba917d 77033 otags_4.00.2.orig.tar.gz 8db0fec9f6afe5ed856162aac05104e01b77219b 4908 otags_4.00.2-1.debian.tar.gz d275fa6f2a65781872061618ce00cdd262b5cd3c 1083146 otags_4.00.2-1_amd64.deb Checksums-Sha256: ef3a85037e8dac9b49165a767a6c2e2e1495fe97c1e33322e5168825f3c5127a 2119 otags_4.00.2-1.dsc 4578ff6f60b224a37b49fb472af4894e042beb39f95eea36903fc7fe00d489de 77033 otags_4.00.2.orig.tar.gz b507a369754f1209ba6138cc95b31106e335d050801c7d24312f9c3ce6d288f7 4908 otags_4.00.2-1.debian.tar.gz 8b8a5ee5a8f83506cc7161e267ad25fc79ea2f27140a7eaa77d3e97fac0ee430 1083146 otags_4.00.2-1_amd64.deb Files: 422f4d1eda2c62d09ce73ec428f83070 2119 ocaml optional otags_4.00.2-1.dsc f62cecf15e09a1d463192f3605d6f025 77033 ocaml optional otags_4.00.2.orig.tar.gz 1944f5f330172f8eb653be62e4634cc3 4908 ocaml optional otags_4.00.2-1.debian.tar.gz 4844ba19a19ab288e8bd6106d35beaab 1083146 ocaml optional otags_4.00.2-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.14 (GNU/Linux) iQIcBAEBCgAGBQJSJtkKAAoJEHhT2k1JiBrTe8YQAKVYg5cTpJwZlXOoiPJNL7km TqqQZRazXvNSuKiNlMIUeGTJWl7xQGFdu4QTLI1gGauxxhu32vjzVqkbaTWIyxuf +zxDHx+gm0ktx4CdXPF1CsXR/85HH4o7j0knfF6bQw4EQg0ZJlTYS9U0sG/XP6N4 QNsBiazTwdF8t22WtI/zqwkW2LsJm7c8ysBwd5Ekc+gPu/PETovOzhGU9x3mGCVM 4PiPbDWyUCRXmaQ609WIOV3JSfWTN7EZjXUbsrUxOkdPcKZhUYcSJrl2FTReLFbw LTqsDrBFp4jxqmD5muhGvb1o4C5nfR5vebEGOnefwbxXqi8L3IUj4uR/qKLGWFx+ IgOe5niecbF/WuFv8nBWYnZyfX/RCVpnDVd7QQRFnZ9zN9k0hHsQb0M3gb0INJ9k 7RsWcYpJ9iEC4GCv9n10b3RXy1tdEnN8WQWydQrzT3o7i0ySHHYdwEngvgbbP6to 7UKiX6dBCIiCEviPn7NHXnZv6hU9ahajl2mLuHdpTHGhm0bBTBrYgNNQRMuAs3GA 0h4se++N39Fry9NE3IPeWPSeAvkI7P0pjbsUAbr6opzMNujSfGBlCukWpFhkOJd3 RQaKJMSWaIr75eGlUvD64mw9kxxaIXt8FBBUvC8Q7QQJw6KXnjoI0fYva3HATqoc CEeQ5xetSBP8Bh9C2Ne8 =Fstu -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1vh78d-fm...@franck.debian.org
Accepted prooftree 0.12-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 17 May 2013 16:53:01 +0200 Source: prooftree Binary: prooftree Architecture: source amd64 Version: 0.12-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: prooftree - proof-tree visualization for Proof General Closes: 672480 Changes: prooftree (0.12-1) unstable; urgency=low . * Initial release (Closes: #672480) Checksums-Sha1: 1c939e94fa1de497ce26da4a4b14bf67dfa10d1f 2001 prooftree_0.12-1.dsc ff838fd6ea7b32f382d955da4374b2d8a36458bc 103680 prooftree_0.12.orig.tar.gz 76d7b647a1e0e3f3df4164363703e34a2ff19dc7 2120 prooftree_0.12-1.debian.tar.gz 70f31ae0635675619bbb0f4b91f7c691f0c60f1a 800038 prooftree_0.12-1_amd64.deb Checksums-Sha256: 938949bc176689c8c83f8877b6293703f2aac2db51a8b45e2417734d4175145d 2001 prooftree_0.12-1.dsc 952ca2efec290808ffac093abe7ac9b10ae471f5d8cd9ef66db3dd02a431d723 103680 prooftree_0.12.orig.tar.gz 8b1c45107d0fe71909a2f9d85f0a877571e3a53dcfd6cac09b39351f72957adf 2120 prooftree_0.12-1.debian.tar.gz 90b13866ef19a95dfd201b5c5b2fee43eb73ad2212a5cbc090ddf94070f74073 800038 prooftree_0.12-1_amd64.deb Files: cc459a9075554a8380f28dc3eadf021e 2001 science optional prooftree_0.12-1.dsc 1ccae43094ae52a85a52bff0f9e22495 103680 science optional prooftree_0.12.orig.tar.gz a032ebd56fbdf031fa8163f23bfc2ef6 2120 science optional prooftree_0.12-1.debian.tar.gz 0cd64f95c5097d82ace2586553febab2 800038 science optional prooftree_0.12-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRpPc/AAoJEHhT2k1JiBrTmo8P/3Vt/C0hhbKsMJglP2e3eLHY WAq9TQaz9sm8x8P3xzHR8FZcerOUVfTx96dx4Fkw311MiA99FdzqQQFEGiU/DIo5 cUPN1lTmdN6rs3TUQDkNVDRrfE5d0+4Ki3w7VqEdPr8A0VgiAt7W2iGGgblY0oP0 quT2cLSmLB4Miq8kEb2+pPcIyqqQPCRlsaJHU4GWaLewDpdbY8m1LSDFk+xnHsgd axfk6ZTA2y66o8bgDxjzm9MB6AeOt5Xye9K6F10sxCBPcfGD0oBv9OW9UlOs5YwM KPiQEt5evin0/PuP6aYRsuW8rl6Z1jfPDkqZWZriVlgHR2AGL4216NYBQIISznQ8 VDWl0h4+d5pCiQsHydpYk8eWp/XGj5eWdksHpYIA9klQxRUJL1s9er0V1w3uAVPE n6k3PUlEnhunUDX7cG+2lEU/L38eVHNJayZpm3IDU5pOQNzXakROETpFBQSEfPLI 4hzLCb0x0nUSasd3vHSpqWRia7Ty5+Dl1HbCgUAhxxpn2vVW8f1AQ2YhMStsPJ1N RrXMPUjVgKWxl2lNbKOPjVjLvrAah9BwEKW5LD6I3UyVd8d1ArZrEg+bh9hxDZUw Xh2euDZ1VidvLCaxvM4lHYsdiEaIONsygD1T+xHKOHL+px9Fc7hvpGwZBMplUasw F2om3VkkHFZISajwVGmY =qrI7 -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uywss-0006ym...@franck.debian.org
Accepted mikmatch 1.0.6-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 11 Jun 2013 13:45:35 +0200 Source: mikmatch Binary: libmikmatch-ocaml-dev libmikmatch-ocaml Architecture: source amd64 Version: 1.0.6-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libmikmatch-ocaml - camlp4 extension for pattern matching with regexps - runtime libmikmatch-ocaml-dev - camlp4 extension for pattern matching with regexps - development Changes: mikmatch (1.0.6-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * fix watchfile * new upstream version * bump debhelper compat level and standards version * add myself as uploader * update Vcs fields, homepage, package description and dependencies * update copyright * update existing makefile patch - rename and refresh - add meaningful description - don't install stray cmo's - build and install mikmatch toplevels * add new patch ocaml-3-12 for 3.12 compilation * fix rules to use native compilers and prepare ocamldoc subdir * install toplevels and add man pages for them * add README.Debian telling about the PCRE and Str version Checksums-Sha1: fe15a1f341f28c20541af0311b6148ea05fcb220 2162 mikmatch_1.0.6-1.dsc ef2b1b040ad8e55be07830f43d4f656c52f6a734 64798 mikmatch_1.0.6.orig.tar.gz abafe1d51bdcc86cf6fe3213f985d8418e62ca31 6369 mikmatch_1.0.6-1.debian.tar.gz f98418c2247d6e62541063d5254f7e13318d6232 1072536 libmikmatch-ocaml-dev_1.0.6-1_amd64.deb 299a2693be82fdd7db5e74872f78d838b9934abc 13244 libmikmatch-ocaml_1.0.6-1_amd64.deb Checksums-Sha256: 9f72d268bf5eedd540bec09ed27574516999c651418ce81f2b1737d6c6bfd50b 2162 mikmatch_1.0.6-1.dsc 082d272c93929240faa1e634e3b1c8366f778cac68b773b81ac2feedbfa39a1c 64798 mikmatch_1.0.6.orig.tar.gz 9354e1703f988e3e62ce0833cf88a5839a3b27f21e794edf609e55fb473f09ae 6369 mikmatch_1.0.6-1.debian.tar.gz b317853b0d6ea9b3e07915bec1607a0aafd1f4f67eb476d18a356da2d43cd06b 1072536 libmikmatch-ocaml-dev_1.0.6-1_amd64.deb 39128f421b7bde06966799ccd824d9bdd3c8d435b34f11c657ea9452a5e6a384 13244 libmikmatch-ocaml_1.0.6-1_amd64.deb Files: b9416db6773bd56b03d12ccb7816 2162 ocaml optional mikmatch_1.0.6-1.dsc 180854a13780a4db850c0d4bd646a9c1 64798 ocaml optional mikmatch_1.0.6.orig.tar.gz 3f034181fa74047297334a67c5b075e8 6369 ocaml optional mikmatch_1.0.6-1.debian.tar.gz d90bf613be3f02b3dceceebeb4d728c0 1072536 ocaml optional libmikmatch-ocaml-dev_1.0.6-1_amd64.deb 22ae30d98691a376a9259382cbfb24b4 13244 ocaml optional libmikmatch-ocaml_1.0.6-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR3qpbAAoJEHhT2k1JiBrTOQYP/10xvEAQYCoKMfvcTROtSEoA F6+94CiRPudaSqKexvqnMVQbKRF5mcH6tpimXM/VwMJYDWcpR8UmCovLVU58ZE4R VujZfj6o9ageupG/lmVh8iifRQ5F6dM+ptUyWfr9bdU/Y4noiNe0+rh8k85yrEd/ M1UR11DptU0ZZ81F/YlXTyKBRU0BAmVuWjnz+/WkTjc/fK4h5MMxBeRGCjIy4hQ3 wiggBq1LUpv3roTML/2PQx3ATnbcJR+6D8K5T82W1JRNRxcbOjUZ5HamdwQ5Imk8 iC/sKpX8p9HMokLZAihDS4oEhYItt7W7K0hgAeGsdlQlCZ9SP0mN2Mwo/d1JfPjf Q9LT41MzhA/h1yenEw+rVtOC8O1S+TNjurYcLR/pUl3uaTAF2fGsstoYb2JzYNf1 aeauJwlZeEme2FLS/qbOe1pkthUrTlEe0ua7jynOLJsoHtlLyHcMsa/bPz4BwnV4 2fbkaQMD5fj0u+HeGiaijd/6Grxkks0Smo5JsRa0W/41VrDMSOiDLDCH3lJRhfK0 glotFo+LSZDLfLATLMuiEhh7PJqrIm7bQtA4awPFVVTahmA3fiXNgrpeHr0FwhK3 /VKpZnHhoRB4Mtw4VebPTy6MnTCYA8EgyEQ942gXg2H37xgXy1bUiYA6gfUP2kGL /TuikmbCE72y7ODQoZW7 =1cBw -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uxgws-0004zs...@franck.debian.org
Accepted mikmatch 1.0.6-2 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 20 Jun 2013 09:56:10 +0200 Source: mikmatch Binary: libmikmatch-ocaml-dev libmikmatch-ocaml Architecture: source amd64 Version: 1.0.6-2 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libmikmatch-ocaml - camlp4 extension for pattern matching with regexps - runtime libmikmatch-ocaml-dev - camlp4 extension for pattern matching with regexps - development Changes: mikmatch (1.0.6-2) experimental; urgency=low . * prepare for OCaml 4.00 - remove 3.12 patch - add new patch for ocamldoc 4 compatibility Checksums-Sha1: ab5785a3acd50c725cfd62b58754a6c2956974c2 2195 mikmatch_1.0.6-2.dsc 7e0e09fe128085cf5385e33deb3c8ee0fd845575 6302 mikmatch_1.0.6-2.debian.tar.gz e398aa12b6271abd664c88b220510f58cd0b3d25 1164184 libmikmatch-ocaml-dev_1.0.6-2_amd64.deb d640336172392c4d27d242144e81d005ddcb63b1 13312 libmikmatch-ocaml_1.0.6-2_amd64.deb Checksums-Sha256: b1f86124568efe95afbfdee277215c5c099973ef1b38438c19080785302eb043 2195 mikmatch_1.0.6-2.dsc 6fe6b99c9db3d766d7208a1a81b558118caa2cb14c72f2732be92e0bc7105898 6302 mikmatch_1.0.6-2.debian.tar.gz a2527ad3900233c83d4484d6844e8e7f3ae4af5772b3b8329484bfb5a76ad1de 1164184 libmikmatch-ocaml-dev_1.0.6-2_amd64.deb 1ce480c55c4dab69a679054730e7c5cd196047374dc965b6d69a101c465baf80 13312 libmikmatch-ocaml_1.0.6-2_amd64.deb Files: 82033ad06c294ea5f3b1ef6a26353960 2195 ocaml optional mikmatch_1.0.6-2.dsc 0f2f48aafbe0e17ae1eb5ebfcf8a216a 6302 ocaml optional mikmatch_1.0.6-2.debian.tar.gz a57a5fc4e90099ffb74740b2212fc13f 1164184 ocaml optional libmikmatch-ocaml-dev_1.0.6-2_amd64.deb fcff476f8189c80de869ffe57383087b 13312 ocaml optional libmikmatch-ocaml_1.0.6-2_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR3r9mAAoJEHhT2k1JiBrTHWUP/A1fU45EOHAE2q25u1lhzF7V svNe9aN0vCRITQuCVNfH7g1wWpxx6BcoDozfSxXU4Z1ahQpIOKPVsQ4GO1EBLZMt 1WxdEzOT20F9Z5pj9DZltd1u4qYBd7B1T7wyhVpmbeHGFdDRKKsDkqRTbYY4CMpU lszBBfosW/AWXvkVu96LGsEk7Ld1nCHgRdydyY6dMaqFXgeexgafJgfapEIEteit vJkmuxAuj09mXa+ljalw9SNU0yhyUiSQpYb1L2Zv2OgIXoWYd/6MlRNvT5IQyFxY q+PoswWBQ/DTRqTBbw+PHUHtu33ejGbVKkpQO4ofmsoHlydzHaN/VGgIgaWOLncw cNJvUZ09qFXeELmUEo0f9VxlBTbiNwljui+Kh/Zq6hHTURTE3LCrzu6W6xg0W/zt PoJ7is5m7h6jfBHHxgOucKwgfpf0IQ0jEBQPNERnEU49n22TH0Hw0YKQtwpuYIxS TIRfb/08/k2MPO712OGRPnrwwoPi/GWhCaoOb4Cu2Xyme6GCP+Rw+NdNkUn7eCpZ ZqGajVbwFJWIzUyy6EjhmrlQrWAzkOvjrhn3ko4obPaynXZXFX/El8CYSZfNWmZW GUM17opqkRou/Hx0VPOS8tPLtKeUope6wt5wzzRMV5Nz6Zoiuh/PDmwRTsNVWk3D IDZW848aVz7ofAwqatKc =VSFw -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uxirt-000231...@franck.debian.org
Accepted oasis 0.3.0-2 (source amd64 all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 24 Jun 2013 10:33:04 +0200 Source: oasis Binary: oasis liboasis-ocaml-dev liboasis-ocaml liboasis-ocaml-doc Architecture: source amd64 all Version: 0.3.0-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: liboasis-ocaml - Build-system generation for OCaml projects -- runtime liboasis-ocaml-dev - Build-system generation for OCaml projects -- development files liboasis-ocaml-doc - Architecture for building OCaml libraries and applications oasis - Build-system generation for OCaml projects -- binaries Closes: 711451 711452 Changes: oasis (0.3.0-2) unstable; urgency=low . * update Vcs fields * add patch from Sylvain (Closes: #711452) * enable tests (add patch fixperms-debian-rules to fix premature errors) * cp OASISData.mli with proper test * add build-dep zlib1g-dev for tests * add liboasis-ocaml-dev dependency to oasis (Closes: #711451) * add patch require-ocamlbuild-for-test for fixing test OASIS:5:TestFull:28:setup * build-depend on libidn11-dev and libbitstring-ocaml-dev to enable more tests Checksums-Sha1: 9f522a1964fc627096c08c004c92a9010a24b18e 2470 oasis_0.3.0-2.dsc 1ba04a9f04f83c49932e9e5b5dbd505961b7ddf6 15505 oasis_0.3.0-2.debian.tar.gz 4fd9156232cd92054df3b7dfd8e3f47b41c376dc 1674264 oasis_0.3.0-2_amd64.deb 3167a64519c16cd282602ea87f8468c3dee705cf 663526 liboasis-ocaml-dev_0.3.0-2_amd64.deb 632d4cfc798eb88b80427a04909a638efea08a18 1199672 liboasis-ocaml_0.3.0-2_amd64.deb 6208480dc9eb53bb1380c9041d8f8178a440ed87 133650 liboasis-ocaml-doc_0.3.0-2_all.deb Checksums-Sha256: c84d1cdc2791528c492caa5714093f2362095931b5b0c3956be1e2a1cb004821 2470 oasis_0.3.0-2.dsc 2062a9f96c90dbc122a58b0a35d2e96553c9d5db187494a72f904e01a539e6db 15505 oasis_0.3.0-2.debian.tar.gz 7965aff38e4056d4b3a43516870d5a5eed688d4011d6730a2d142754eff8caab 1674264 oasis_0.3.0-2_amd64.deb c519e0725e95214fce4b2cb3b50cab2c6b4de2030dced880a1991936185c8e5a 663526 liboasis-ocaml-dev_0.3.0-2_amd64.deb 4e3ed98671c5dcd4cb165a89563bf3dd79e83ec7b7cd3fa3699faee1623b3823 1199672 liboasis-ocaml_0.3.0-2_amd64.deb 2fccd57beace75dfe5532c6d568201223a3fe3e5a382012609ce2942a361 133650 liboasis-ocaml-doc_0.3.0-2_all.deb Files: 5da7ba3798d7263afa2bbee1f7427461 2470 ocaml optional oasis_0.3.0-2.dsc bf7cfd9053b68f183168082a37449032 15505 ocaml optional oasis_0.3.0-2.debian.tar.gz 04c833b61f4285a91cecc07a1c00f759 1674264 ocaml optional oasis_0.3.0-2_amd64.deb 2a16b6b1af93b34f58116f832658f8de 663526 ocaml optional liboasis-ocaml-dev_0.3.0-2_amd64.deb 56e4863920412bc81d50c18de1307faf 1199672 ocaml optional liboasis-ocaml_0.3.0-2_amd64.deb 806b714922a52ca754fba811effe72d2 133650 doc optional liboasis-ocaml-doc_0.3.0-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRyED5AAoJEHhT2k1JiBrTsF0P/0wKUpxF/DlvCVPkVDYfayrW J53H+Mj5M4caO4QMsZAq7cyeFrEC3StEo3Hyk90nayJKi1sAGluUlRLXjqVTgf6X gYJw5mYE4zWpGbXLPAUSlJ+ep84B4mvgwtZFt82L32KIFAzFhk/+0QSnEkodK0F0 /H0OGdteBeJViWFrAg6Pn/+LAc2W+RZ2Qw8uLQBrGQ7CUqLjqmP2Ppncw4z+9Xr+ qLhqkds6Xu4Pdy1h/EVHRaYzoq5BAMR4ziVWbw76uxe4byWkN6geOurlgwV0XJ1V 5Yo7dF0sflurP9Yjgd5n4eqGldtkOsufKTAX/2ixIU8ePUiWhXB3yZBm/bxK7RxN ABur11GGCWoslePOZbLY7oiSnhSoigZuFaZKwrkN55Ywy6CKxD145jNAf2wO+CCv f46UyW02aH7lamW/FiO2rzbabXPtG0pSFVPzoN+UaGfP1JtudrLsyZMb6rI/N990 XyymCLN25SxnFkGwgcBQqn/s2atsdnleNJk1VxSoJBl+wAm+c8e03AAVPie6IR/J VlwSL13rygyzcF7pJbGeISEuBNxpKRlT6Pww9IfoC0OwV3a/WE1PncsGgUQUxoC4 SOFz13O9dSjGmg3cvrG1GmqMt2TtwY6I0EnliwqFt5cXobkyn0CTswJNhxhKinMm 57KqlQI6trlAPfTf2Wsp =wAom -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1ur6ur-0003rz...@franck.debian.org
Accepted ocaml-benchmark 1.2-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 23 Jun 2013 21:01:51 +0200 Source: ocaml-benchmark Binary: libbenchmark-ocaml-dev Architecture: source amd64 Version: 1.2-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libbenchmark-ocaml-dev - OCaml benchmarking library Changes: ocaml-benchmark (1.2-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * fix watch file and homepage * import new upstream version * bump debhelper compat level and standards version * add myself as uploader * update dependencies, Vcs fields, copyright * change packaging to debhelper * delete old patches * delete some unused files in debian subdir Checksums-Sha1: 897b5168d85a119fb7cded0039e8b4f065564483 2147 ocaml-benchmark_1.2-1.dsc 6e9e94bffdd66e0ad3bf596692b5e72e09a44ddf 59490 ocaml-benchmark_1.2.orig.tar.gz 0a789124ad536401bb1895a8e8b1026c44d758a7 5970 ocaml-benchmark_1.2-1.debian.tar.gz 6dbc5d3877178c9e0cd29f7dfcaaeec9f15e7579 110876 libbenchmark-ocaml-dev_1.2-1_amd64.deb Checksums-Sha256: 907ffc23a4be420c95ee48ce322e153ce95057486cc28674a3a237861785dce6 2147 ocaml-benchmark_1.2-1.dsc 0c8ab6505e1a4e7ca66b9f49b9386faaba2001352336c94ebd8e8d44982b86e4 59490 ocaml-benchmark_1.2.orig.tar.gz 81a0075d00e951ca29d7f1f5e79add04928cd176c13daa95ccb144260453b949 5970 ocaml-benchmark_1.2-1.debian.tar.gz 82474ad31f1f3aba94236b93d329132d4bb057431320f8cb33319f0a5da409b9 110876 libbenchmark-ocaml-dev_1.2-1_amd64.deb Files: d8263e56fd446c2177432c2da9009832 2147 ocaml optional ocaml-benchmark_1.2-1.dsc 31f04b492314ec4850a768c03dd17d9f 59490 ocaml optional ocaml-benchmark_1.2.orig.tar.gz beb882868b86c419469e1414c90a0694 5970 ocaml optional ocaml-benchmark_1.2-1.debian.tar.gz 55b1cf1d5bb6b4f02c24db5bb4d942ed 110876 ocaml optional libbenchmark-ocaml-dev_1.2-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRx1o2AAoJEHhT2k1JiBrT7GoP/jJhbi1QohTvbO40yA/xqcQ5 vQA9GnO+NKX6riSxN9wzQOmcIBG72QY2h61D7NVEKG7QOyrk5udZzJJ+ME3DIu1o X4MohJV82Hk5YjEvP2b8HFRTKpRhrelpCMA7qpBKq99OjIv6drHlSzDQjmQ1orN8 c0pEA+YEe61xy7Oi7RBO/ZSwaYkFJT5MUeGiG6JkQcNuyi5UDMerk/ZfwmTqLCKV uWV4Wlw+mmk9Rwm75hwJc8yr/lJNWUvKEMp27BbSwLpFxsMHSxUqbdJonwi78i6V F1a2OtZdME4jL1saueXw/LDP+zt//shYYZ7sbnsblLqvRYSK/WxIRtmr/eF92ZZg vSPmGw+/gwL/yx7JAoa3KLSqVUCC9cv/tWpVc7k+YDy2GgRcJ1GKkZKRXjDkafFT k4vSgPzPV6k5+lGPetPzEzAZ+HH+U7A51hvHEe8CIQCxvhgd9kU0syabTbAqFsCl PhmeD0dem7Ii4IRvbmw4gqazlRWFJ7z56PeSumMcOx+C0Dgr1182gM1krGfo5G4M JpFzRGuCurSxGyQGao2ZpDqhNdoJ9uQwHVQUgGFqmQjx5W5CbDFInA6pwNPeqnSU VjTJFnJmLsYwp5aBAGmRtryDj94T5fC+6Kl5O+hnrDabpCfitoaOKPA4FVR3RIac b7ikMwUUBQcpoDRYnX77 =RfZU -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uqrin-0001ad...@franck.debian.org
Accepted otags 3.12.5-2 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 23 Jun 2013 23:12:18 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 3.12.5-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: otags - tags file generator for OCaml Closes: 713387 Changes: otags (3.12.5-2) unstable; urgency=low . * update Vcs fields * add patch for type-conv name change (Closes: #713387) * bump standards version Checksums-Sha1: 52f8959bcd7c879f5b19ef206537a991b56a946a 2147 otags_3.12.5-2.dsc 7a83f8d30d4fb0dfe866966c3668d419fee13aa9 5070 otags_3.12.5-2.debian.tar.gz 1b9547bd8610e6512faecd9ab89f755c6240838b 1157960 otags_3.12.5-2_amd64.deb Checksums-Sha256: 2a20b2563a68394941428a722ecb5900fe24c3598a89a842fd7cebe7eaf58053 2147 otags_3.12.5-2.dsc ec555131209fa73a980c1e83e982ce1fd28d005eff8ec8e5d642296dd9ea264b 5070 otags_3.12.5-2.debian.tar.gz ecdc9b8b65546e360bfc8119c7749b24820e9d7d1f05c2a271408d6c16ec3ada 1157960 otags_3.12.5-2_amd64.deb Files: 187d7a4de52b7cc845759d521fab46d9 2147 ocaml optional otags_3.12.5-2.dsc 636078eac4774d99bad522ffd659d8f0 5070 ocaml optional otags_3.12.5-2.debian.tar.gz ca07b5358feec385c14c5e6bc888222a 1157960 ocaml optional otags_3.12.5-2_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRx3I2AAoJEHhT2k1JiBrTw20QALH3o40w8fPjX5PMMLSymkrJ zpiuZC6b/PhWL+c3CxH43AiVMbOdGXrM8xugFxkxSZ4uqJNpg2HaY2F2klGrCnex GKmiSUe8J9Dh55RFEeThHlVOPf86vOnss/a80XUKcXPZJz9nohVU+oEQVAx45fOB yzwY/dOXylsZH+Pp+3MRywoxrR4Eesp2589V5jVF+bogdxsP1WWpsaT5VqCicnNB YAjSOjUqCjCdqgqcHp1oJKRqMG31SIPBEa8p+kIFDq7Fltm9yzs4S52H3Uor4Y4W DMxbzkxIX0Nx2ysAG5eh4ir5uQhokpGuTPv2M8PANOmkGcvihEpv+V9eUqSS6mWM ITcCHPjkCz8APbmaeDtAYHWoHa7HN6NkmZ/7LUnPEsXNTHqvGzwK2QQZv/lxjLar 79TZ/aRI8QeSjyWfDMQvr20uOki5XVpbR6okhgQZD1DA0dUqEpZ62yb/hKuvWEz3 BdzK2oZ1BpXUg2+E7SEtpmoudDu2p0NJwW1r142pArVOuOucb1JpVSSuM7dJTHeR Yp7CAtEj9P6dJSI4BaCT+agZoUtGkhghIWEDpT4bJ7PAfv7UQcNJ7a5uPO1pj8Vd xh7eK1MnC8Uq5EFwTAxc4gZWizPuE1RLa4xy0HDeufvnBZCkDIQFTzHAcBGxBRsp XGHy8ZKmcUwGH3j9VYhd =wKo4 -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uqsdo-0006ju...@franck.debian.org
Accepted tophide 1.0.1-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 21 Jun 2013 09:22:20 +0200 Source: tophide Binary: libtophide-ocaml-dev Architecture: source all Version: 1.0.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libtophide-ocaml-dev - hide values that start with '_' in OCaml toplevel Changes: tophide (1.0.1-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * add watch file * new upstream version * bump debhelper compat level and standards version * add myself as uploader * update hompage, Vcs fields, dependencies, copyright * add new makefile patch for - install ml file (lintian dangling-cmi) - OCaml 4.00 compatibility Checksums-Sha1: 4ecc6bf0f2a3d204863ab575b150a39f540b1589 2009 tophide_1.0.1-1.dsc 454d1773289bef29ed9174d8580743623231ed99 3352 tophide_1.0.1.orig.tar.gz 7d8c94da479c33242e17fd9d791c082bda8e405e 3116 tophide_1.0.1-1.debian.tar.gz 01c36208221f95958c625bb9bd92df95987855f3 7436 libtophide-ocaml-dev_1.0.1-1_all.deb Checksums-Sha256: a1bb11a821ef7ff2e6f0c9a347f615d5f6d3c0de2b27ac2b5b28bacf964a7f3d 2009 tophide_1.0.1-1.dsc 693d0a41a423bc375ba8ee9b0525c5697954aadcb11a92fb6726f1a3788263c0 3352 tophide_1.0.1.orig.tar.gz 6dfc52fca8a70ce962ed375a685ce20bea55928832d36866f979005564ff0ad0 3116 tophide_1.0.1-1.debian.tar.gz 4735fcaca30e59e75f6f3022d57dc24c797214744714a8e72c8f6de81713a3eb 7436 libtophide-ocaml-dev_1.0.1-1_all.deb Files: 1b6f77c00ab43ba76e7f28b31ba4375f 2009 ocaml optional tophide_1.0.1-1.dsc e41b3c8987205ad890be5cecea30d1e6 3352 ocaml optional tophide_1.0.1.orig.tar.gz 8b880640672e3dad726cf77090a0c6e0 3116 ocaml optional tophide_1.0.1-1.debian.tar.gz 55a37686a3b4676cb98cb15c714caa8b 7436 ocaml optional libtophide-ocaml-dev_1.0.1-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRxU7HAAoJEHhT2k1JiBrTEX0P/2P0Fu0VcOVfAAbnO3krK2wB SiC7JwdAdpp+FiWocpWXjdY/WgZeU4ExssQpZIGlE+LA2AGOCR0GX+Kn+DiFlkN9 mPN6pghCovKghaWWijOR2jmEuc5blwUJ8A3Ckr6R5eiW3SReF5a6jAhMxJYKeqYS RJfvVzsu3BHu//5BtyU9h4l1lGo7ss5aQyEWfDPU7zNBbND8nqoDFJ8s+vrXU3im Y/Z0qeQYCpE4YfluWSUs6aDPv/pHC2Y9n7/fJSeYWZczJ7iAL/2EsaftN01RQznh YTUUkv0lbxfYoTaFQQCx1Rio+ZlOjcV8RsIiLICs/Q+oqc/UtpM845r+j8jF17bg LwAeZ/O/3qz3Sn43sc6zFNfQncZGsA9ksr+ZD3Dw0TbfOj69HcbkZVm+qz+16RjB zXJF4yfHidfxIQF/a3l3bxCMeBKTW7FvGFmt6YaUkTqXs1QViAoZOaSq6Eyx5Nkx 7wgZx8WhwM9KUKQv2V5Lx1AshSSCabSmOCfywmBeujmQEdCQ+FCY1lMredV9TiUl 61YNBC4excqKW79ChNlXBeIJU7k1tTyZqq3PTdHhXrDzynOuacr4qu8ITjakaYt4 rktoKGbJTJsiFbd+jsGoc6VNosJ17Dt7C6BrE/WZgcSnIyidc9D8Xd7dwtc9mRcn bDMNfBMzJ7pBbJvoXfLs =cNn/ -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uqi53-0004fi...@franck.debian.org
Accepted atdgen 1.2.5-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 15 Jun 2013 14:41:24 +0200 Source: atdgen Binary: libatdgen-ocaml-dev libatdgen-ocaml Architecture: source amd64 Version: 1.2.5-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libatdgen-ocaml - OCaml code generator for biniou and JSON - plugins libatdgen-ocaml-dev - OCaml code generator for biniou and JSON - executable and dev fil Closes: 711524 Changes: atdgen (1.2.5-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * fix watch file * new upstream version (Closes: #711524) * bump debhelper compat level and standards version * add myself as uploader * update homepage, Vcs fields, package description and dependencies * update copyright * adapt rules and other packaging files * delete old patch * add new patch for installing ml files and byte-compiling the test * install api doc in /usr/share/doc//api/html * enable tests * update man page Checksums-Sha1: 70de18be8c583f216a115c3b2cfc79a81cb81f01 2269 atdgen_1.2.5-1.dsc 938e291dac58108e9ec0e102c2e264332cc65da8 72617 atdgen_1.2.5.orig.tar.gz b0be1e718811547e1816a069f631c4ede5d361cf 7058 atdgen_1.2.5-1.debian.tar.gz 22259cefc4e830036ad5f4bf0b8441590e6a087a 1435106 libatdgen-ocaml-dev_1.2.5-1_amd64.deb 4a75da4b9abfe1b480fa67a3e4ef38fdabdd8334 337764 libatdgen-ocaml_1.2.5-1_amd64.deb Checksums-Sha256: df6c998ca6f838b09a8aa390c3af70f84781cafff48526813af31ede5b08f9b8 2269 atdgen_1.2.5-1.dsc ec0cbbfae8856a24d5c8ef344a341547c5b7edde07647e785e3a71db4a045f9d 72617 atdgen_1.2.5.orig.tar.gz 9269bdd3922e239f452b4433826662134fe65fc476803e567d30b8abca6db01e 7058 atdgen_1.2.5-1.debian.tar.gz 16937ee21a0da371b319f7a1b891530440199f2a508fc629005270517008e93e 1435106 libatdgen-ocaml-dev_1.2.5-1_amd64.deb fc96e225ed67fe2d971880a9c5c74900350f608595ba1462f3007487583ba4b9 337764 libatdgen-ocaml_1.2.5-1_amd64.deb Files: 43c3d32cb20b89ce8eac1d467d517388 2269 ocaml optional atdgen_1.2.5-1.dsc 625e36c5cd496a752b2caaa966d16aef 72617 ocaml optional atdgen_1.2.5.orig.tar.gz 91714c5d7618cc3cc3e605485149cb0d 7058 ocaml optional atdgen_1.2.5-1.debian.tar.gz deeea08be6f968a3fe6f305e41ed3a8c 1435106 ocaml optional libatdgen-ocaml-dev_1.2.5-1_amd64.deb 7ab06d663ec91b1a5ea9f110182f0400 337764 ocaml optional libatdgen-ocaml_1.2.5-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRwWozAAoJEHhT2k1JiBrTi38P/REa3P+cXL2L8HEurGWzljVA a/MompWI0iNwv86TG1cq63ivfCJkyT1N5h3S0EULCy8JxHDl5QEsW0mfRCUdNGEq VHvFMytg0vQWxn/NOVzbyhABZ2hLDvCO4O6H0UuqbaWE7C7ftfJWtiCGT3rTqCyN gBxnf6QysKl2t4z+oW/oRUekmKNfiPMzmonjFAVtW1oSYq6dUA/W2ZgHxdXaKnf8 tgBpetfCtdpge5QtwYf+GoDRnhCrl6vlCpeaZKzA7/8OCecN6GT6wXx4ofLMXRCc ypN2JMJ+EDIZGLLq8anNlbOVOFuiTKfMhtSLugfSs3HVrtrxW8+8dwb98FS1KWze mdkudPhJ5imu2koISBDKdYbZkvLTTgjX5hHUBouXJzPZXVWAUMMRlN7HhSeRYO7c 7RWacuWsFsy/n8FZXXpCbCCTjDk7k4fW3+kb1SMTVmaAqY16rfqK88d0N7xDb6Yo /uOLuLPpSHktUxVA+MHeStuT0nRPa71QdvcfEihETLoJzI4MBO+8/g8VXiL72Ocp mMpi5hD3aexiOSI3ZCQ4UPc1Qf9vTvvjR5bH0fjYxCHG999ZpV4TD5BTYcV/OpIq Qz7zeIKAfYivkU0YMSEDzh5w/kLpBnuhjbl3eotQvZIP72f9/XznfhKkoXQ48zyh W6YK9CcOG2EfplXeiA4E =wEPn -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1upei8-0001yi...@franck.debian.org
Accepted biniou 1.0.6-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 13 Jun 2013 14:01:31 +0200 Source: biniou Binary: libbiniou-ocaml-dev libbiniou-ocaml Architecture: source amd64 Version: 1.0.6-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libbiniou-ocaml - flexible binary data format in OCaml - plugins libbiniou-ocaml-dev - flexible binary data format in OCaml - development files Changes: biniou (1.0.6-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * update watch * add myself as uploader * bump debhelper compat level and standards version * update Vcs, dependencies and package description * update copyright * rename and adapt debian-changes patch * add patch fix-bi-stream-32 * update man page * install api docs in api/html Checksums-Sha1: fcef97f9f39c9bcf2109ec8204355a54024b91e7 2105 biniou_1.0.6-1.dsc 8e34af7cea5e187bed8c23046c1bdc1874c4799d 23676 biniou_1.0.6.orig.tar.gz 65933ef5458f0ab0b49c7b778a5b246f97313e13 5803 biniou_1.0.6-1.debian.tar.gz a31332386fbb3cad4fd2909ee2bed2a00764 349152 libbiniou-ocaml-dev_1.0.6-1_amd64.deb 260acd10284c9b11dbc4d9f3c06c133fd6ae895c 82860 libbiniou-ocaml_1.0.6-1_amd64.deb Checksums-Sha256: cb795572a31ecb7fcc81a5149004a466ca7d38285f49f83fe94704f5cf8109f0 2105 biniou_1.0.6-1.dsc 4f1fe858d23b4b273803b493bb4dcc5e7bb3b26e0f19aec950ef1fe33f16896f 23676 biniou_1.0.6.orig.tar.gz ce19ba856b763d7b74620ef83fae5831423b354a02bbb2242ad6903e0d14e10f 5803 biniou_1.0.6-1.debian.tar.gz ec8aac29ceab9678a2f77c540907e6eb552faf73558eff3349d58bf3edbb8b18 349152 libbiniou-ocaml-dev_1.0.6-1_amd64.deb 42f0b60af767efd64fb470fdc214f20c19a953bf01df3629558dab8ed1c9f026 82860 libbiniou-ocaml_1.0.6-1_amd64.deb Files: c9e0e6479a9646bc70f107f79ac5f398 2105 ocaml optional biniou_1.0.6-1.dsc 6210856ffee54c95324ad213ad0c322e 23676 ocaml optional biniou_1.0.6.orig.tar.gz 1237795d067221f751d13a1db04f0d44 5803 ocaml optional biniou_1.0.6-1.debian.tar.gz 9decd2cee3e50df0d9fb710be4935281 349152 ocaml optional libbiniou-ocaml-dev_1.0.6-1_amd64.deb cea84388562d5d0406b5ba86754d1615 82860 ocaml optional libbiniou-ocaml_1.0.6-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRvBAmAAoJEHhT2k1JiBrT3l0P/1HbZfePI8xVcSayUdeefgKx q4D7wBjg4BRoHqxSRdaS7FCEXGdzTwayNNZa0nvdoKDr05VWqAwcFfrFK9MKUYxG 9a9aSQuLY1AzisBHWcWV5Qs080KZrneLRB8yDCKm/Wz7xu+oPuFQEnA2x8xthKkh d/MTQ0+AfNt+YMfEuJ4YcLdl4v0nGwv0axtrX1Hmv61PrAb7FCy0QPDOHa2F4vtm T4637gXKCpYekCm6zcItEJqzQP5YP5gPmvMTJHGHcvqPRGpBz6n6TBbMtbVLWi61 Ab27VDiNCd0nPpg04X+9G57/TqEzqNlbfisRiPMQzFy9z/+goj1gLamPcc4q21Ue 0pAvG17WQrY3+LhdfsKJB4AFUAJsZRcOJ3GyFtIoM0lUgfmFWMgLZ11QtkmYB57N +mW9wJWDwDUFL5RlOnmM0VVM9eY2Xjdahci2JIlpslHqfSNFDwzfDnHjy1vS+zZt rfSzGD50R68BJnxf0yORO7eQu8GSjD8HcAZIMJ10KSJnpy297d07nDuCKwlKb4aE sx/oeOFSOgSSKldpc/4KnqvS3NXd+KW9/xdkGPNrwHa1TUybstwS6XPW4OaiD7r8 YchVAe3Si2ClYrLlZHIQcgOnhD6Mhi4JwZe+Ao13Cqp7DZf+dOhJrfLqfCKcr4Ug oykfqoLfV6hWPHMRuxFE =4tgY -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1unkkk-0008h4...@franck.debian.org
Accepted ocaml-extunix 0.0.6-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 13 Jun 2013 15:42:38 +0200 Source: ocaml-extunix Binary: libextunix-ocaml-dev libextunix-ocaml Architecture: source amd64 Version: 0.0.6-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libextunix-ocaml - Extended functions for OCaml Unix module (runtime package) libextunix-ocaml-dev - Extended functions for OCaml Unix module (development package) Changes: ocaml-extunix (0.0.6-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * new upstream version * bump debhelper compat level and standards version * add myself as uploader * update Vcs fields, dependencies and package description * update copyright * add patch fix-test-32-bit to compile and run tests on 32 bit OCaml * install api documentation in /usr/share/doc/libextunix-ocaml-dev/api/html and use dh_ocamldoc * update description of execinfo patch Checksums-Sha1: 95c456b326733d2d9d4e9c5a76bb655fae6d5bf4 2183 ocaml-extunix_0.0.6-1.dsc c22d23e509d5bda88ef60948f94ebb60d61f61fe 82850 ocaml-extunix_0.0.6.orig.tar.gz e18ad1fab58755aae4d4ca7acdd6dbe04028a527 14057 ocaml-extunix_0.0.6-1.debian.tar.gz 9a7b0ea7545c4831a3767681783a2779e30b6854 333958 libextunix-ocaml-dev_0.0.6-1_amd64.deb b9c2a55754c3c7cf7d9d1e5d94da2454fb901284 254542 libextunix-ocaml_0.0.6-1_amd64.deb Checksums-Sha256: f416ae26ff1d401ac80a99297aeb23220eddee2121a17b403b95618f69a215be 2183 ocaml-extunix_0.0.6-1.dsc 9a368f5340230e80df8e2a61774e02e7916860722785a87e33a38caded7552a0 82850 ocaml-extunix_0.0.6.orig.tar.gz 523584d998f9a0d24c3af45989cdfe92bd375b4f03149aa93733d1a96f3be4cd 14057 ocaml-extunix_0.0.6-1.debian.tar.gz 0d5ec9274d3234d3b07ae7134fc5df356b710b424e11ec35881013a972a9cfe5 333958 libextunix-ocaml-dev_0.0.6-1_amd64.deb de0c7de36c33a6df1fb762de039e0307d1e657739db58015a405792b00d816cf 254542 libextunix-ocaml_0.0.6-1_amd64.deb Files: 9521edd10a6334e8502b431f6fd8a520 2183 ocaml optional ocaml-extunix_0.0.6-1.dsc 0416fb0bfb9e8a992e94a18fb9d0b8ee 82850 ocaml optional ocaml-extunix_0.0.6.orig.tar.gz cf20e7cfbe21817ddc28f530d7f34ef4 14057 ocaml optional ocaml-extunix_0.0.6-1.debian.tar.gz 434c5667fa8a0e9a924cb2c9435e1821 333958 ocaml optional libextunix-ocaml-dev_0.0.6-1_amd64.deb 02d8e87d4b7b07418903067978dce627 254542 ocaml optional libextunix-ocaml_0.0.6-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRvA3tAAoJEHhT2k1JiBrTxVwQAIJGfKHgjj521t5oFBVLq98G vwzsQRSugPf580w9Y2E9QRy3ccyAa+pH3Hz/peNZJQnUDRS4FD0la/fLAvI7qrlr uS0rGZRAWCfVhTi+09vfiMZNsC8VH/hwpV/A6oo/pFB7Xginfcr9Q9RjAQwRHNkI mpo98lky7igs2QvdqiYjfNaJpvBm/akQYkpMmibgAiSlL6FgIUTHJeZQZYyBmBL/ +8Ky1eL3/cnBKxr1YMSMLYW7+Zw0+Ezg/c71DFkdWWyL2RJM1Qbf8rFBMuTlTgVA 1NdMwxxSEaJ7jbq591oom7wRzGK/wC0NLaBsenEbaqIakPpD6XXEZLguYykEvBqr H0iIB/MKofPNMIfa9aYuTc9BoUz4v2jgr/Pj2r7wpZL4HZP52rKTaEaNRD0EbkJQ t6v3IHqhAlv76CeXhcDa0r/sUZoinqaxWwd2dS+Yj5fN6tTnExzco0jgcD8NdsQp fayW4DF9r5PTmu3avtbg9U9+1D3BsTM7mYVD8HJQ685/x43pqRVEQZOyWczZ4y7o NHqWB6dtOumqIlIiNuz5CS6ykNe+DmRRdJNORrRc3UFZvU6vCxFNDROrHDFhZvS4 OfubwFfE9Wbs3/5/tT4NzU2019cX4DrPrmNGW094yKIQForAmbbDyhCjOQxeFuG0 c8mw3gCM3OIgZNynmHkI =TCOn -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1unkog-t7...@franck.debian.org
Accepted yojson 1.1.7-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 14 Jun 2013 10:14:02 +0200 Source: yojson Binary: libyojson-ocaml-dev libyojson-ocaml Architecture: source amd64 Version: 1.1.7-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libyojson-ocaml - JSON library for OCaml - runtime package libyojson-ocaml-dev - JSON library for OCaml - development package Changes: yojson (1.1.7-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * updated watch * new upstream version * add myself as uploader * renamed and adapt patch * bump debhelper compat level and standards version * update homepage, Vcs fields, package description and dependencies * update copyright * install api doc in /usr/share/doc//api/html * update man page Checksums-Sha1: 41e49fb1aec91a7b85f3167e5a1da72dc106070a 2133 yojson_1.1.7-1.dsc 1ba75b3ce0fd311e9e0aaa7ccba3f6f4f0f73fac 25018 yojson_1.1.7.orig.tar.gz b1db4694828e8e29ae0b5ef8dc1f257b30679839 4715 yojson_1.1.7-1.debian.tar.gz 2a5061cdca230b6f1229531faa550ca7f28e2ebb 400448 libyojson-ocaml-dev_1.1.7-1_amd64.deb 016fab74f0561bf94d522291a5256cdc0f93b738 467308 libyojson-ocaml_1.1.7-1_amd64.deb Checksums-Sha256: d058fc8e77c58bae4d21dbd5d5873c9e3328da44634165dcb49beae17813ff13 2133 yojson_1.1.7-1.dsc b0b0391872f09280b0dbeec3e12afb412f2491cd44bf39b2eb1b5e2bfc812f22 25018 yojson_1.1.7.orig.tar.gz bad078de0c21b70097cfb4890601e7ba6f31320e16a0728c438728480f0c06eb 4715 yojson_1.1.7-1.debian.tar.gz d271ad7c51914749ffbe2c8792cbdee394270ce697bb3715fdc496f2d2699a18 400448 libyojson-ocaml-dev_1.1.7-1_amd64.deb 2a9fce1587fbd4cc74350f716226405a8725490bff2f75e37631705dc5724b56 467308 libyojson-ocaml_1.1.7-1_amd64.deb Files: a28b23c962c6d18b813df4bea606e593 2133 ocaml optional yojson_1.1.7-1.dsc 7017f2009a33d08c25ab0478598c9023 25018 ocaml optional yojson_1.1.7.orig.tar.gz 84503ade09ad221449517594ce4904ff 4715 ocaml optional yojson_1.1.7-1.debian.tar.gz 2662a55f589faed4e26376e6b4006032 400448 ocaml optional libyojson-ocaml-dev_1.1.7-1_amd64.deb 03d72def41da630daee352a112de6fc7 467308 ocaml optional libyojson-ocaml_1.1.7-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRvJMRAAoJEHhT2k1JiBrTAJ8P/iXOP0DSoa9pAZc+YpuJYshZ 4lDKpDuMlmekfziMdzWa4jRzCMGf0J44XCw+1rGlt2kDAok4f2vTps9Lc1pVjjLo 0NxN2Qxyu0pPmiFt2kpYT0PBRyZy1c/34CFXvm1REWZRCMJrDLBaOQZzSVr/ixFv FfUX2kRXF67KQWfXQj5X2LNqprcnMJPEyTVAf6F/e6odE9hq6BZSUNuNNHI77xjw rJ+Xcwmmnozfh5I0Jy8UO6RSgrVf4QPLp9kQAT7nXHgvoC8zJNzJ6N8AXk/h07VR 5Gric5f5h8zuGSi16xNe6n0Rzdd9hEDtMFQlyq71xnbjC9i5taq4nsdrS5J+wLvE TOgzEoa8pJnEB3QswU5YMiUq9xVJI/ts5QQllVoXEzGN2/wGKZS9znXAr/rHrECK RKDRvk4XxAqUkpy/Hc84IncZtciFsOY1nArbY3UvcJY4m3cY+GSjelp5s02cnEFl AQpQwp2t3eZbu+olYh3pEFweVdUFGKrGhUVYRBlmoS8QMWVri7BKi+niNkwxyNII pt4mQrFTCMVM7zuEAq8aLNWdebpSxQovhDqPHMis0WH29avb9gdz0lDyIpX/Ju0/ jJmqm9UVC9ArcfHGaTumk4lbTLnjBvpDn8Fbbonf+BLCL/1kkJaKsG8Q408S0CJM /lm+/XCul00OHGYEigo3 =BuvO -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1untfs-0002fy...@franck.debian.org
Accepted ocaml-atd 1.0.3-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 06 Jun 2013 10:21:07 +0200 Source: ocaml-atd Binary: libatd-ocaml-dev libatd-ocaml Architecture: source amd64 Version: 1.0.3-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libatd-ocaml - syntax for cross-language data types in OCaml - plugins libatd-ocaml-dev - syntax for cross-language data types in OCaml - development files Changes: ocaml-atd (1.0.3-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * fix watch file and hompage * new upstream version * add myself as uploader * bump debhelper compat level and standards version * update package description * update copyright * fix patches - delete old patch - add makefile.patch for byte compilation and installation of some ml files - add lintian-allows-to.patch to fix lintian allows warning - add build-manual-without-install.patch to build manual/atd-manual.html without prior installation of the atd library * update rules and other debhelper files * fix build dependencies * install pdf version of manual * enable tests * rewrite/improve man page Checksums-Sha1: d7e8f3de15ffc1652b8fbb6e3260cc5fb2b713bd 2196 ocaml-atd_1.0.3-1.dsc 1d76deca68bd0cddf0df28799eed19d5620bc145 36924 ocaml-atd_1.0.3.orig.tar.gz a20c5198e6d503a1bb369fdcb1ae4da2417e0e9e 5841 ocaml-atd_1.0.3-1.debian.tar.gz 3449aaa8e9d90cd152f4694ef04977b51e7a3a60 995358 libatd-ocaml-dev_1.0.3-1_amd64.deb 075425626ade038ac15540bf7fa7cebefc7da5db 324724 libatd-ocaml_1.0.3-1_amd64.deb Checksums-Sha256: 0a890fda528bf5a08ce14920c01b575ccb29482c5eb67c75cdfe0bb3823ce952 2196 ocaml-atd_1.0.3-1.dsc 9c15f0613da8403cae7db0a1825aa6b47b51bbfad57cbb2709f1f2aedf957f54 36924 ocaml-atd_1.0.3.orig.tar.gz 49a3bbc0aeb5de120984fd9c4b8abfd270daf10c282fa35d76c07c2616c879d8 5841 ocaml-atd_1.0.3-1.debian.tar.gz f170b05037c3c72cc05d6d2f87853140bcbb9a23cd61b242609a75826fc035cb 995358 libatd-ocaml-dev_1.0.3-1_amd64.deb 361768314b94de556b5256801f2e1dc048e249ff1a316ec37a5f5f998db4c3c3 324724 libatd-ocaml_1.0.3-1_amd64.deb Files: 309ca5c7aec6b33a115227369a1106ba 2196 ocaml optional ocaml-atd_1.0.3-1.dsc 9d9a29a64a66a127010e0a1a6fb8645c 36924 ocaml optional ocaml-atd_1.0.3.orig.tar.gz b46c139800dc9551387444956a5b3452 5841 ocaml optional ocaml-atd_1.0.3-1.debian.tar.gz 54449b6a069d88c927532c38b39e0979 995358 ocaml optional libatd-ocaml-dev_1.0.3-1_amd64.deb d4e0b62c5cb3de2669342f307bcd974f 324724 ocaml optional libatd-ocaml_1.0.3-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRsQW/AAoJEHhT2k1JiBrTj44QAIr6hsNJm9J/0zWUAuRFRWMd 69eMonKT4EslQLl7mDhmOUT93r7LuNYT6Gy2tQwo+NQCrcHgSyGQTY9NwsPpfFXV iBckwzIvJOhLL/5n5Igh2D+jeOOc8N2Axa7OpsyHa45qvsY+j2xihQaAOon8cHqE 0KKXEAj1+JfYPIroIwKklYEtFrgiHE4M6adFm6jZR8usRTvzi6bavWqaXpKzRF8u sLM64BmDYLUrEXO+rCokDqfQp6f6H6S3oEDYUCIt4EI4EsupBERYTn3Hq221541E Sc/IWuJE/RpSIaWJ1T3I24LRB1ypU/NJ3y0J4LtjzSDaICvIed83MzZDNE/4J+Ys V04XZY+sbIYgQ7LzCIoEExmCxIkUHP0uIKYoMd0E/9cXqQHT3zYRCnZtjthgKSJA IJCey07ZQY4FSnDjdPEcs3MwtCTj90krwiiRS36nnjqTRUBlffo7TBhXCMOs/0Zk /XXqgsKpiLej0moL6/uXW2ZZMn57js+vnapslt4S+jEu7t4ESl5wDStxq9dg7xU6 d8vY5xc3C7DakpSkuXX90I0g/bYHjkQmIvSJgxAN8LikVSCEB3V6WFHqzkekDPVj TYg+uGxqdGgKxJODLQwukfzPOLtGOO5JFlj6+4jEjTxCRWcAKtr6UjAinMRFt4MR AZmkBRYz/ZJ3pq3JhSNi =Pf/z -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1ukiwl-0007q6...@franck.debian.org
Accepted ocaml-fileutils 0.4.5-2 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2013 13:00:40 +0200 Source: ocaml-fileutils Binary: libfileutils-ocaml-dev Architecture: source amd64 Version: 0.4.5-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libfileutils-ocaml-dev - File manipulation for OCaml Changes: ocaml-fileutils (0.4.5-2) unstable; urgency=low . * delete lintian spelling error override . ocaml-fileutils (0.4.5-1) UNRELEASED; urgency=low . * silent lintian canonical vcs info * new upstream version (fixes BSD build error) * remove html doc renaming * use dh_ocamldoc again * add lintian override for non-existing spelling error Checksums-Sha1: 5c1ea1939cc0fa7c3709d77b5155ebdf2d88fd03 ocaml-fileutils_0.4.5-2.dsc 94d02385a55eef373eb96f256068d3efa724016b 83511 ocaml-fileutils_0.4.5.orig.tar.gz 917f732b02193e19ac7636f52b66d320c753b683 12988 ocaml-fileutils_0.4.5-2.debian.tar.gz 256e5f24480fd1e5049f3b10a9f4a63354c2940d 243870 libfileutils-ocaml-dev_0.4.5-2_amd64.deb Checksums-Sha256: 83fcc50723a0ba0ab06e08b81a8c6a53c3143f072d1a98d74b74435d8007e19d ocaml-fileutils_0.4.5-2.dsc 2ab3d2e9d8aa047871f6053e52007a8a25132653d5b1c29f8451ba2c1fab9866 83511 ocaml-fileutils_0.4.5.orig.tar.gz 87ff8e6e7f27a9fe362d1061d76c7f68ea50c16376d74d0002adda677331d8f6 12988 ocaml-fileutils_0.4.5-2.debian.tar.gz 74f4c4c4659b0020c86e125b3c5f28710f0928599f343396e0d4a0b321e58c44 243870 libfileutils-ocaml-dev_0.4.5-2_amd64.deb Files: ec908e717afd9a6fdba5584833b2ba46 ocaml optional ocaml-fileutils_0.4.5-2.dsc 2fa2782374c2210f2584fe02814bb343 83511 ocaml optional ocaml-fileutils_0.4.5.orig.tar.gz 48682a4f5353fb52da9e8115c26218c3 12988 ocaml optional ocaml-fileutils_0.4.5-2.debian.tar.gz 92877328e1fc0ae8f00e9ef486f0c02e 243870 ocaml optional libfileutils-ocaml-dev_0.4.5-2_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRrs0bAAoJEHhT2k1JiBrTdywQALPfrmL1IGkErxujyIPbgtkG SLlkHcKyKu6Xgo9x9+UwS7NMZUyydgaDfpa+mY1n2Har3f9nfIpuYFfN4FTNX2dm pEMcbCXt18SVDLSiOXIPSC28KyNJDd0M9/fAlzh59flU6sk5cYEJkhVZ3Ki2/9I6 tUdBKrqSVZoNbTntfkEy3RCAO5y5Ib8tAAul+ThbVgcjVbFXvmGyM0jIxdtWnoBZ VVKyXP1VqvFlIdxJ5gxCgMR657U7G+1Gkb0gr4GSXzbBiAopkMhkBOGIvwS9jQU9 JkOosIkHRwzE2XyswCwj1ny5C3IsnYoxG7SSFPGrGKkk4sO2XdBQ/lP9sCuL9ErX ivlmx5evVeBgO2YHapebE/281mPWQr4k/IUHPhRc4mX5budNqHwtG6mqJkwAX0s4 DwsIDBmEGtR8BGU0vsN3JQ1RfQfL6Ya/VFoAkRpu5kxMfLbf+Y3aKcheGe0z6egE wsYqsKxDkZN9lR6gXSPHN2IBFmPXR3DE1ZAdE4zsFJ+7NcU4RBYAkFsczYVlk4Tz 6xo6zH9hUghuStIYpyCTmOn+Qo+/ZWAAdq3sRtlNPyk2LxC+q9H/xsEzJY/BC2QB T6rtHZAjK5cak4vP6B+uQhHKcEA4bJeHBQks06JUf4nskJe20mAXr4R0mrv5a3lL XLaISPJhj30fMnv4Ojwr =df/2 -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uk6zn-00056z...@franck.debian.org
Accepted cppo 0.9.3-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 02 Jun 2013 23:12:27 +0200 Source: cppo Binary: cppo Architecture: source amd64 Version: 0.9.3-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: cppo - cpp for OCaml Closes: 664200 Changes: cppo (0.9.3-1) unstable; urgency=low . [ Sylvain Le Gall] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * update watch file (thanks to Bart Martens) * bump standards version and debhelper compat level * update homepage * update Vcs fields * change to architecture any (Closes: 664200) * update dependencies * fix copyright * add myself as uploader * update man page Checksums-Sha1: 4992ebca9af3d7b02c226758c887f7df3c720048 1944 cppo_0.9.3-1.dsc 0a57b9cf2df3a8d4c9a7bb1d3f0907244b9d8d8e 20393 cppo_0.9.3.orig.tar.gz 1d952ca8defe238ae9b9aa3e005dc0fba95fba3f 4472 cppo_0.9.3-1.debian.tar.gz a5daa667284ab7c9d763ab35879f20111b679d6b 200066 cppo_0.9.3-1_amd64.deb Checksums-Sha256: 23ab3a112144368d75eb4f06ae9b9e0b78c8a906ae97dd8345b326603ced9d97 1944 cppo_0.9.3-1.dsc 40a0acba9bd3b0bd8890ae2a87f479090bc4de7fa83b8ead028d08a34937923c 20393 cppo_0.9.3.orig.tar.gz 9c0a9b10d16ab3234faa2337084a082aae4b008a6ec8ac1eec7a7bb28fe56bfc 4472 cppo_0.9.3-1.debian.tar.gz 7ba619c4541fdaef2768efd64ff07762b3f8f15a510029548ed543a3642ba6f0 200066 cppo_0.9.3-1_amd64.deb Files: 6519edbd829bf9925db99426cce91d64 1944 ocaml optional cppo_0.9.3-1.dsc cfea4211ab9a7c1276537ce4fc3669b5 20393 ocaml optional cppo_0.9.3.orig.tar.gz 165b953584c3376433cb6e5f8a803a33 4472 ocaml optional cppo_0.9.3-1.debian.tar.gz 0bf57c1b4172fe442f00e89c4f238ad7 200066 ocaml optional cppo_0.9.3-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRq8M9AAoJEHhT2k1JiBrTAtEP/0ZNwtFZuUSESkLHC9Hu2ZDP h3qTVZ6CdeJ1wBQMP8t9dWE/mF+N9Onyvz3viVPMJ9sZvBRsl7jUkCA1y3T1pr47 tI6swF55XmepFaPX++wV6LZ7TZpSDUk+RgMumTP2YV5qtwgcdPK0A/ZqXRBWBbaq hRU0XAq/haDQ445auyQ1+F0DVLytuL1aUdqYJehi+smSXbE/9403KUYPubCcScoj sz5QnSonNPiLNHpHISdBjGUly3XNBQh0c3PVRQfG0hgICKWt/icDrn+7cR5QKir8 mZzGPVxlWnwbmHUhncF/UCcKy/I2BgeX/dqpPbgHkRB2wFawuUBOrerls7l1n8f2 KTbD+m7Iar4HgOEVD+MF3hVb6kL8yjV39g0etzxuHksDLy+of4OVX3eFZiU9dlm1 y1O9EUP2QcZdZ78id8FAvtMlks4mdtnEppHvGVrEd1+NWcoVBc4k4kkm4BCkuEiT 1nChjkBD97j0vzfR59prvlEMsoVYtovreOSjeHGAjY/t1lfFMQ71zsV+qhGljNba 4iOh7D2cVEKZCfZp2C6aG/FSssqNCPjTldl9t5IcdNIo0b9lf9yYh1Ki2SXUbRg/ RjbXNrenyH889/+iDo2hnP+sdGFU1D1bPQGxrX71CXm10qLA01gPb/vn2ou1mI7s Os+jYCAsdOcZhe3tMSjb =9hAk -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1ujgbg-ol...@franck.debian.org
Accepted easy-format 1.0.1-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 31 May 2013 22:16:56 +0200 Source: easy-format Binary: libeasy-format-ocaml-dev libeasy-format-ocaml Architecture: source amd64 Version: 1.0.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libeasy-format-ocaml - easy(ier) pretty printing for OCaml - plugins libeasy-format-ocaml-dev - easy(ier) pretty printing for OCaml - development files Changes: easy-format (1.0.1-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * fix watch file (thanks to Bart Martens) * unapply debian changes patch in master * add myself as uploader * bump debhelper compat level and standards version * adjust dependencies * remove debian-changes patch; create ocamldoc subdir in rules * update home page * update copyright file * add README.Debian with documentation hints * fix lintian Vcs-* warning Checksums-Sha1: 3b20c12f7f4f042778a94c1616705cefb9b6e1a0 2128 easy-format_1.0.1-1.dsc 9305c6ff5e4f4765cefbbcfaf2f54f134634cf8a 13747 easy-format_1.0.1.orig.tar.gz 4ce5f334f745c6e0cffa3c9792021e71687c4810 3378 easy-format_1.0.1-1.debian.tar.gz 1f913ec980011cb907ab34c50836440c3bc0e36b 31508 libeasy-format-ocaml-dev_1.0.1-1_amd64.deb 02366a8662394bd7c72926463bb584844dc34cc8 7024 libeasy-format-ocaml_1.0.1-1_amd64.deb Checksums-Sha256: 6fad52de8711778ee31824c3de67855e18a971cdbf6290bca4b793027c559eae 2128 easy-format_1.0.1-1.dsc 4b1c030de944158d9e62ce30f59ae2c007ea87b492e92463d8aced22a858f403 13747 easy-format_1.0.1.orig.tar.gz 3479c38401bd85d023dce13c43130b1bf743153237c296a98ed7e3bb7652ef7d 3378 easy-format_1.0.1-1.debian.tar.gz 17e64e79c19c02f1bfc41e3c1b0cda7180f23ad29dd54f5549db2f594f511f2e 31508 libeasy-format-ocaml-dev_1.0.1-1_amd64.deb 55aadeb0ae10af33b9b0d7ef3961d1cb2774eb00f7ab15cccb611436369d2146 7024 libeasy-format-ocaml_1.0.1-1_amd64.deb Files: 238162225289f2af5540dc17253ddd28 2128 ocaml optional easy-format_1.0.1-1.dsc ecaf5d060f7cf8961631ab319e40677c 13747 ocaml optional easy-format_1.0.1.orig.tar.gz fbe4fdc017d4a19fc321c826bae0093e 3378 ocaml optional easy-format_1.0.1-1.debian.tar.gz 3c5cf7594a45cc1a9a0a87e39e95e401 31508 ocaml optional libeasy-format-ocaml-dev_1.0.1-1_amd64.deb 77e9606292bbc049cb8f8b6ed6975a34 7024 ocaml optional libeasy-format-ocaml_1.0.1-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRqZpiAAoJEHhT2k1JiBrTJeIP/1RQ+EC6FS+9o8d7KqaDhgS9 +nmarrL6+Nna+S4jitwB4NCAitwjU1hE0k12sZJUNSx+0oQ4ZUDEzjq0XnmXxE8u K5TIwoyVRBd6ZQoBnV6JoqWZCHXFh+Srtl/TdU7AOtzXATUW8SJ1xqCWZpHg6onl x8ZJPG/To7Pi7IMl9LTX+Fq+d6AaMySdPuHTy6vT2gB06JthQ0NdQQ6sAYM/uHQ5 96YqAJHLc4fUN7MmiRBdZfphQTz/Vebov9os8RkeB7m2Srm5dDpqJkJSkWXdzsxQ 0AEBceMLibVEhseB6HF+WMQM615SngkVEM7YE70J4DlQLV6V/ru8ohqMEEiJaDle QbDJPqdhdXUxQX+v54NymXAzIC6AF9xHu+uKlrZFLnutnBtoZWbSlwXbNdtaKECA kX7NGS9Tp4CbX91xVl7gXQTzZPTIm2t7Q0vNhY8MHysyvpGYYtwn4VVTuzd5M6tj vbYBuwNMOE1h0D81OyUB0nZu7HJev47h9pjt7p+pAsLKMs91BJZts4KYuAyblOD8 3+T51ppHUQm2n122aoODquXO37LPmq27/eMIS9WgKtbqaLFCeqHZuL3RtSKbfn9S 31OVczWqkpaCGNCnoIiwWyL4TUHmneRoAw/kCIJXMfL3/ll0GcKQ4bhHaKkq7PDO dUf6UwO4NJ9UWOrYNkJo =ygl6 -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uifpz-0005ez...@franck.debian.org
Accepted caml2html 1.4.3-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 31 May 2013 16:22:48 +0200 Source: caml2html Binary: caml2html libcaml2html-ocaml-dev libcaml2html-ocaml Architecture: source amd64 Version: 1.4.3-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: caml2html - HTML and LaTeX colored syntax from OCaml source files - executabl libcaml2html-ocaml - HTML and LaTeX colored syntax from OCaml source files - plugins libcaml2html-ocaml-dev - HTML and LaTeX colored syntax from OCaml source files - dev files Changes: caml2html (1.4.3-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * unapply debian-changes patch in master * update watch (thanks to Bart Martens) * bump debhelper compat and standards version * update homepage * add myself as uploader * update dependencies, change to architecture any and native compilation * update rules, *install files * update copyright * remove dubious debian-changes patch, save part for ocamldoc fix in new patch fix-ocamldoc-html-tags * improve man page Checksums-Sha1: a595b2ca680b6b7b687348faba8e70003e3aff5d 2227 caml2html_1.4.3-1.dsc 926d899397270da2e0d8c50b0b6270d0581104c0 31248 caml2html_1.4.3.orig.tar.gz f0cab2490934edd093f009bdc14166810943e390 6010 caml2html_1.4.3-1.debian.tar.gz 356051b77b82ef315e2f12f8f62eaf77151e7fc8 226796 caml2html_1.4.3-1_amd64.deb 76686e48d6f9241bf0b71f823df02beb3ec76a18 63818 libcaml2html-ocaml-dev_1.4.3-1_amd64.deb 41f8b79ad50807ff58ea0ca717d2273b21886682 18974 libcaml2html-ocaml_1.4.3-1_amd64.deb Checksums-Sha256: bb58c6a75ef39ea8e87795ef6e157f044f29d3395549639b70b58e53832510d0 2227 caml2html_1.4.3-1.dsc 1ce5b47adb4244ab668c4d6ba14f3a4a98658fcbb49b1a240f3c53de7c7a52ff 31248 caml2html_1.4.3.orig.tar.gz fd523a3ebcb59bbc70ba62edd2136a145d2004213e887ff94a39e23e23dea414 6010 caml2html_1.4.3-1.debian.tar.gz b0ebbe5f80e64a11552498f63bb850ee14eb4811c9b2bef1b02cc25cf39649d3 226796 caml2html_1.4.3-1_amd64.deb fb100538642463f727f7702c8c7906ce16e3845da1d0ccb25d7bfef2413c8efb 63818 libcaml2html-ocaml-dev_1.4.3-1_amd64.deb 259db58ac9073de9cb1a6c5e7097009ea2a7131c6157dcf14a28567b1d575db0 18974 libcaml2html-ocaml_1.4.3-1_amd64.deb Files: 0cc60e0d29ac2f1a210a123fb39da82d 2227 ocaml optional caml2html_1.4.3-1.dsc 216913e2c61a0cedb8c54a108a701b6f 31248 ocaml optional caml2html_1.4.3.orig.tar.gz 0f254c3ff905ca5772e5812e3d16598e 6010 ocaml optional caml2html_1.4.3-1.debian.tar.gz 05406c5b510a7623fc079efae83b6a92 226796 ocaml optional caml2html_1.4.3-1_amd64.deb e6b37ba10216bebf64a2a0bb33aeb8ac 63818 ocaml optional libcaml2html-ocaml-dev_1.4.3-1_amd64.deb 86e0cbb8bdb7163b0051384fb8210d64 18974 ocaml optional libcaml2html-ocaml_1.4.3-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRqOrYAAoJEHhT2k1JiBrTrCEP/jOp1wm94dqv0MAj5RRVC/TN lWi0DPBQyGRQf2ITk9xkpvtERNUV5Fe5jUos6zdMwdcmNPriVyf/Pc67JRF5qMtY 66LRL+uKhxLJsmEpOedzdTsMOLM5XR9IxOGNN8ED5R9sciMBunWEhVNlo0xgzSEp yx7Ny930KsIGLJtmdZhnyy3geRFXI9Jfi1mUEcLXboTXuYt64bPS0clf5jEJTUo/ rQyviGXw0KdpNLwMigN6RuLMT0+h+npInF2K8+nqhAyrfA4jbLSaCtptGJjiUFyy UlQy91qhC6NjOJgH1UrqC7qhjAWbX5xaxrJ301GOcVoupwDTG0XtvROisWsg1lcT knGoXyN+ClN55kF3DUyV+XdzAMfLw/AJaLzjiGG539dhSmEpqvQlGDjpw0kZhjc5 8uL1CCOXI86U5ybP+OkQODXXa4bT+CNf1kNecBqrCzEDQtwG8xkWtHjFGgc4WXLT WhyNq+azEIPT2ZA3EPk2VXTT996VpLY+qkV54YVIZ1S7RvSKI6SKBShN2hZ5ZRv4 7qpZG85WHBFDTGGYVaUN42o0u4V0B0oIwL1zQDBRU3f4OSaO6zfG8+yXtnaWGM29 dSNBJ3hEbMFkdPZrnqcRb3TWkdQCRkxi8nCp6PXtN4z8vg8ZxjiaweVEiP6H4O3e XDkwM8CVeRAjfDBMZMfV =X9wT -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uiu8d-0008l4...@franck.debian.org
Accepted oasis 0.3.0-1 (source amd64 all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 30 May 2013 11:40:09 +0200 Source: oasis Binary: oasis liboasis-ocaml-dev liboasis-ocaml liboasis-ocaml-doc Architecture: source amd64 all Version: 0.3.0-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: liboasis-ocaml - Build-system generation for OCaml projects -- runtime liboasis-ocaml-dev - Build-system generation for OCaml projects -- development files liboasis-ocaml-doc - Architecture for building OCaml libraries and applications oasis - Build-system generation for OCaml projects -- binaries Closes: 684563 Changes: oasis (0.3.0-1) unstable; urgency=low . * Imported Upstream version 0.3.0 (Closes: #684563) * fix copyright file * refresh patches - remove dubious patch debian-changes-0.2.0-1 - remove cope_with_ounit1.1.1 because of upstream fix - fix description in debian-changes-0.2.0-4 - add lintian-spelling for spelling errors - add fix-ocamlbuild-plugin-export for the Ocamlbuild_plugin export problem * add myself as uploader * bump standards version and debhelper compat level * build missing src/oasis/OASISData.mli * fix debian/rules * delete cleaner from gbd.conf * fix build dependencies * fix *.install files * improve package description and man page (triggered by lintian) * add lintian override for liboasis-ocaml-dev: extra-license-file usr/lib/ocaml/oasis/OASISLicense.cmi Checksums-Sha1: 77a593d95b4af32f3f4a2098ed3973bfd4531e76 2409 oasis_0.3.0-1.dsc 2c39e7bb319a37a325376b15566839909f358766 298052 oasis_0.3.0.orig.tar.gz 9482f165f7e5e68805a409064b91332e665b7d1c 14710 oasis_0.3.0-1.debian.tar.gz 3264b8d1e0bb896c29244dd4ed3e398db7ee1543 1674400 oasis_0.3.0-1_amd64.deb ef7aa6abe231b3c86aa668e2f796ce9b716a07d0 657748 liboasis-ocaml-dev_0.3.0-1_amd64.deb a94a03495532c49b6fdc1f93000d579dbc1acdfa 1216756 liboasis-ocaml_0.3.0-1_amd64.deb dd9960261f71babf17a9f793c13a65d861f84971 132772 liboasis-ocaml-doc_0.3.0-1_all.deb Checksums-Sha256: 8582b3fe9c2b8bc068700ff12b067d2d55a0a6bb87ab59ed9952fb7587ecbe51 2409 oasis_0.3.0-1.dsc 2efa90a2dc31d0b731dc574f99ca3e1fd07079da1898b077d84db4a3fd212701 298052 oasis_0.3.0.orig.tar.gz 92db1764440dcefb5b6a6db9176ac50e25b9d196045b48e2d6096ca0f7d5e8d3 14710 oasis_0.3.0-1.debian.tar.gz 162b6301408616f3b6dfe45d876ecdd42361f69d47e30f9678dc745b30b97996 1674400 oasis_0.3.0-1_amd64.deb c0e783f70ec385f49edb80c9805c45acc9668630680dd87415b8b033a59899a2 657748 liboasis-ocaml-dev_0.3.0-1_amd64.deb a9e6596ddf9d79b0cb6ef374a42aa3e2aa5a6be8cbbd0cbc6a77b52dbd570863 1216756 liboasis-ocaml_0.3.0-1_amd64.deb 1586a24fd571caa59cfb777a11f50f19c667c0daf094980cd3f1f05398e30b19 132772 liboasis-ocaml-doc_0.3.0-1_all.deb Files: 3a82d2265cbd1b17304ea66024ff78e9 2409 ocaml optional oasis_0.3.0-1.dsc c2b6dec8c12517d85ce98e7feffe2531 298052 ocaml optional oasis_0.3.0.orig.tar.gz 8ab1704433ceee188e4f62f06d3704a7 14710 ocaml optional oasis_0.3.0-1.debian.tar.gz 0f9fb19fceb26e161c2d64661ecf9a5f 1674400 ocaml optional oasis_0.3.0-1_amd64.deb 126be5880e55abe28bd9a4dc6587de5d 657748 ocaml optional liboasis-ocaml-dev_0.3.0-1_amd64.deb 4f108f55ddef37bf7a827cf670474bef 1216756 ocaml optional liboasis-ocaml_0.3.0-1_amd64.deb ac828519c4a843ad9b5708e3095f3a6c 132772 doc optional liboasis-ocaml-doc_0.3.0-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRqOkRAAoJEHhT2k1JiBrT1ewQAJfWM0xYC4AXQ0yflzHEGoJ2 SipX90vsUne7mOtrHLQ6WtqoAMxENv7/9SGzNEq8/wSbiP7/YxgSMDmrpVnYYVWr 0rzlv29PmfctSSYzGuX0pSYL87HTmZD1mMiQI5ovkLi7JUccUocqpxUac3NV2+SR XoRTKda+KH7neTJdu8/PzRZ7r2UQvdbLTZzStOgaf4tY2+Jdo7V20YYaYDHVpVBo Npnu1RQI4vtbdVj1VwDVNGSZr57Ojni7n1tEQNBFSzg7tjQxCBcW+puG6OI6Ba0v p3UwVvIpko/uRVCdwyBk9JjziKR3H/0bQyw5t8KxeHp0C5sQyRWMJ6psQJbZEfS9 aL2juo+gM/CPAvNsJ9777+oa9EZ1TyT2A3oYycvnKMum9Nwg7tj33bn5VdPaecY9 ZRhRWR/M4iF83Lo8hzux5KKNP/zBlxJAeUHBIcYuBLyF9DHf4Py4vLuD1F6Lxda3 UWbHEWutRqgAfRejKvi3vvSwqYSEh1t9HSO4LCHGSmJNENQhALByqh6CDHzSDjm+ qQrHQaQszm6weg8NUoP38djRU8uXMc6niL+DiljVsh6n0TLU5pGEbW+oEZuz09sN gLSTVK1WwmBY9WaNUyiRIwnA3pS2oGamG2nVXES2vX8+VkfuUOMIZBffQ4+AHQPV s9RcdICwv+HlSOroxEeo =ZU2a -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uiu8j-jx...@franck.debian.org
Accepted ocaml-fileutils 0.4.4-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 30 May 2013 20:25:35 +0200 Source: ocaml-fileutils Binary: libfileutils-ocaml-dev Architecture: source amd64 Version: 0.4.4-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libfileutils-ocaml-dev - File manipulation for OCaml Changes: ocaml-fileutils (0.4.4-1) unstable; urgency=low . * update watch file * new upstream version * change build system to debhelper/quilt * bump debhelper compat and standards versions * adjust dependencies * fix copyright * delete obsolete files in debian * add myself as uploader * add doc-base Checksums-Sha1: 1147e8889db3348e292ce5b4f01779631c18dc61 2211 ocaml-fileutils_0.4.4-1.dsc d30e9ada2c805c83f3ff6c8015b058d73fa1449d 82221 ocaml-fileutils_0.4.4.orig.tar.gz 5097ec51b0baf11361dbd869c6958fe7c243b500 12884 ocaml-fileutils_0.4.4-1.debian.tar.gz 538e6763a1460899a85bfda241435e2beb699832 242462 libfileutils-ocaml-dev_0.4.4-1_amd64.deb Checksums-Sha256: bb96d872fa2f7bc304043a3e7b330e68583ea75bd05e83ef5e527c4e4f15016f 2211 ocaml-fileutils_0.4.4-1.dsc f18982110572eeb8f69662863202c01b88d69637efff3f9f160e92672b75c15c 82221 ocaml-fileutils_0.4.4.orig.tar.gz 1395ecfa1e45f1f0e9820d3f3df7d3dcc1893747956808ffe09368d71874e918 12884 ocaml-fileutils_0.4.4-1.debian.tar.gz 398c4af3bca7743386ec164719d2807a52aea9d3c6d1da2eb4f27b1cb1022d93 242462 libfileutils-ocaml-dev_0.4.4-1_amd64.deb Files: b8e7bc3b51dad83beff5c11f4a8c99dd 2211 ocaml optional ocaml-fileutils_0.4.4-1.dsc 1f43b958f47660318bfbe9ae68bf 82221 ocaml optional ocaml-fileutils_0.4.4.orig.tar.gz 7082fd883f43ad2df5c04c1608ec0263 12884 ocaml optional ocaml-fileutils_0.4.4-1.debian.tar.gz 75b7a798a7f7099afc0dbd0193ab2d09 242462 ocaml optional libfileutils-ocaml-dev_0.4.4-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRp8mWAAoJEHhT2k1JiBrTGxAP/i+v/hU64L5SAEEijhyHte19 RywLkVQpxTsFXa78xc+/uKdfqtum7qeoySlReQEYwzzqlomrMMCdWtk8+j96E2T7 6qZcmzRy/HRIDr29NMzDNAD+BVdvMcH0leqszceWwwyoEBFnxf5wtZxiwHfgdFjt jDOTuKmdAQ2tQ2JZ8oiVUr+2xpRrMAlWOGUKE1BkvpSzN5Q1pGoTqSc+vKAam5zp mLkipxnac4fMhRvzb8P8g0Sq4DItazTbOfDhE1uX3mmhasnLJh+MEjh7/DKMEjwZ LBElmBQq31nU6ZejTrpFX1K+lnG0t7FDXWG8I108QTr4Bx76vL3e0PjR55hLsL2F 62lfvthTadyPXg4f61kWmHGx4/IgEoHe070TzEXbYzTnd0vQ479VaVRPR5mosXTW uI8hJQ0uXd57g5buDteVB7LeXoF0OtksVP5EF0+JzMTbDtEb0G8I3AgGsc5QPHjk dQ3n2jERMJ/xpJnWVurfz/Xl5gqLFIKiU6aqB5yACIiBS1DOEqtYe57BeV37cEO6 64cnk9iq6Km5IHf7JXN8v+tp49MSR1+3CVV+G6NurE7EQRob2UDhjDtMYJUJcEbK 8gy+1m6x1hQpnZz6MWs2EfuFvUqhYatCS1jTIdstD4nEiWff9d7YnAhs6L69xpPb TSUwbg9emOcpqaIGhDb1 =hDYI -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uibha-0002ic...@franck.debian.org
Accepted ounit 1.1.2-2 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 29 May 2013 14:51:13 +0200 Source: ounit Binary: libounit-ocaml-dev Architecture: source amd64 Version: 1.1.2-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libounit-ocaml-dev - Unit testing framework for OCaml Changes: ounit (1.1.2-2) unstable; urgency=low . * build depend on ocaml-best-compilers for native compilation * fix FTBFS error on armel Checksums-Sha1: 008f5a51180e916a1310bb0e0746eb64e302c841 2055 ounit_1.1.2-2.dsc ee50d79e389a05bdb8713816cd66d9c5c815d6b8 5263 ounit_1.1.2-2.debian.tar.gz 0e96b58f9db24e45f24a3d25a278b4a92f64fe7d 08 libounit-ocaml-dev_1.1.2-2_amd64.deb Checksums-Sha256: 863c59ce4736dfac812c215dd1263832e3e5b0b8fd814ae280c140e4725127ef 2055 ounit_1.1.2-2.dsc e62d39b61449b7a2a6a257e61b2e816b3a5e8cf48d3cd4709fa0ce9947e5cc2a 5263 ounit_1.1.2-2.debian.tar.gz 5c4668a7c000cd08a46c0f0e28e1049287e92d88e607d7fc5637ffc6883275f9 08 libounit-ocaml-dev_1.1.2-2_amd64.deb Files: 70a05e577dee5e899b848d5402ad4d79 2055 ocaml optional ounit_1.1.2-2.dsc e8909fb11bedb1cb923973b8cf3458e0 5263 ocaml optional ounit_1.1.2-2.debian.tar.gz 9c547be9313c38c3bf3e4861d6ee2486 08 ocaml optional libounit-ocaml-dev_1.1.2-2_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRplUbAAoJEHhT2k1JiBrT66YQALPx3EYtxRALA+j+1DUQNiuz kMlCvF35/HDmeRWkSzO9ZXt/amTEzo6MC4wrwi+UMdh6lFRj5+yf9I0eOI4ySv3K zt+LzPnK/3TU/s4GAJdpUdiEGeRlonzvu7595lvZahO8KcJ8qcHHD0F86jSDc7gO Uy3OgIriOvUjywlZwqul1xizDkBj3E4vk2lSyVK6l8vwe44IjMRuAVo9slhESmLa x8eK4kkuWwcXnlY0BeStbJLyLCWpaQoQ2yOt75PLmvnSjbIb+DyluHpHAQL0bXNG Lf66NvDL6qlK/weZvYGfRjNYlXoz/35pDhokuK/USYRyPT97FW5r3QlwOcdN2Ysh 4O5TzNnik0vJUirC8SkYtdwx6Eom3wLL6jQGi4KdRv8HhRuM8I0vSYpx34tCzGOF HPsYUqyPZSJdh0jaF7djyltK/dZtHIwiJf1kQPQQsCaqd/QYppt30xGRgwkQIHq9 zZ07+xPNv80KZNh0EgnzpsA/SbjtsEFKTTDhy7idLR2I3Hr6SkpQ4RPbCRacvV1o 5xzCYQp5Oy92RLsDesqGDKnUSJ/xB3zUt0BxXKFUwvlseoaINCaIivu5Z8UUd/ie /CBryOp6dz5hZtg7FDv6LbegPb0+Lj44hXcPh1xOBkAI98CZHjZlEX5AKzhr5dKo MlpASoZWmjy9SVoRq+tH =9lnu -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uhmph-0005sz...@franck.debian.org
Accepted camlmix 1.3.1-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 28 May 2013 11:18:37 +0200 Source: camlmix Binary: camlmix Architecture: source amd64 Version: 1.3.1-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: camlmix- preprocessor which converts text with embedded OCaml Changes: camlmix (1.3.1-1) unstable; urgency=low . [ Sylvain La Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * fix watch file * fix copyright file * added myself as uploader * import new upstream version * change to architecture any for native compilation and adapt rules and dependencies * bump standards version and debhelper compat level * add patch fix-lintian-spelling-error to fix a spelling error * rewrite man page from scatch Checksums-Sha1: 103c57405bd3419c229e9d826bba8a2b9d1b2bbc 1988 camlmix_1.3.1-1.dsc bf60ad7944dea883eaeb975c55000ccd71ec337e 15771 camlmix_1.3.1.orig.tar.gz 2bfb2ab56ed12aedad0c19956683740d76a36ed5 6372 camlmix_1.3.1-1.debian.tar.gz 89cd62d1439d3697287f96591183659f78c6ae1c 162154 camlmix_1.3.1-1_amd64.deb Checksums-Sha256: 48817f6a52596cd3ec1b908e6c4db67e87bf7943e4f17c6842bb8849d163803d 1988 camlmix_1.3.1-1.dsc 5f8eaf4338e726a863b24e495e226354791801be2d738719f9bf9b4746766364 15771 camlmix_1.3.1.orig.tar.gz c52e51a33065429e1b260bf12182146cbf1cef4853c6cf25cfeae4e1333bdb04 6372 camlmix_1.3.1-1.debian.tar.gz cb115166243bd2a07a0ca9699a3bf615dc26863cea805ee2f317c1eb5cc2206d 162154 camlmix_1.3.1-1_amd64.deb Files: 7595bf3455cad58ebdd02a21e7790983 1988 ocaml optional camlmix_1.3.1-1.dsc 7eb6d55718e584d961883eac4ede5ccb 15771 ocaml optional camlmix_1.3.1.orig.tar.gz e09dd8cae75db83bc690251ebc7de726 6372 ocaml optional camlmix_1.3.1-1.debian.tar.gz 26665f9eaaa31bcf873d31b4db1c3e41 162154 ocaml optional camlmix_1.3.1-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRpPJXAAoJEHhT2k1JiBrT5YgP/jb3qF8PIYf7ZmMeCik0me7D IUbytyFOoz0Lan5CQhCPSD0vqKL5fAFMAH/EHaausWaUPajh9hhqHFOtZkIcRHpa TKvAa8nzxOecHKq5+uva5VHKJBU9+sLNZ6Js0rZnKMPk64B1cbWX3rw0B8BGWtrE GRjP6HCa1MsykJ/LEnOxwaJXEmCtuYw61NEUmDxwvv0azeuVn8yVpxY4FJ+cYG1u fQT8wTcYLK7pW8re6k7e1EseXA3chbOA9UIdsHCTl8VSSH/wFlbskrUIIqyRoNEq BgZQV9tf3B9VkcBvZc8lfahXHdBH2D41fyh42d4rvqOpEP1KgFikmZV6qDIDrVMy oZgqStqeArCF+gnuzC1fEm4yVVMMCDQvzf/ABXmBE/7E4hBE8iDEDHdR1lKd0JFK xvGYZSoRYTwc3zoQpKBU/r3+twJ4J0qsJRXHkfJVgJVvFwvIoLwwQgY6eYtuNlCH BW3kegJgoWNtCmOIHF6/0xZSVdGTu2VjtRbWFeIju9UjIIndXZaR9nEoc30O2Gu4 YObdviG4rQ1+0kK41JSoOAvx50eNvMT/4rZKVlidoaLwkhwd2lnRuj4vfWXwsHmV 76cszI37aKoUa2qy/+KC5TPjpUQFXL7UwEFdBGlZu5hwFgVdwkU7Yy1hiVqwscYJ 7m3bKCBvyLpKdaqusof1 =RQNb -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uhota-fs...@franck.debian.org
Accepted uuidm 0.9.5-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 27 May 2013 09:41:06 +0200 Source: uuidm Binary: libuuidm-ocaml-dev Architecture: source amd64 Version: 0.9.5-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libuuidm-ocaml-dev - Universally unique identifiers for OCaml Changes: uuidm (0.9.5-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * new upstream * added myself as uploader * bump standards version and debhelper compat level * add man page for uuidtrip Checksums-Sha1: 262d37e9707dde82e2ef78e6dda99ffba6e85ae3 1976 uuidm_0.9.5-1.dsc 80d761d80884e40126b06c2cd7bb2d0cc8b18cdd 44450 uuidm_0.9.5.orig.tar.bz2 3e8779fd43fd77d370a16bdc567e13b34d7b3ef0 3977 uuidm_0.9.5-1.debian.tar.gz 3c47f4af8ec62079150a432dfc226cf7b6c4fe9f 181880 libuuidm-ocaml-dev_0.9.5-1_amd64.deb Checksums-Sha256: 5b78b3b6729b3065d74fe25f965a412782a0040f8ecda269ec2964f0130e7f1b 1976 uuidm_0.9.5-1.dsc b5d99f7a53d184fd1e8405f8f57a1c4407530bd5f6a4f75edaf0ae1482ee6f0d 44450 uuidm_0.9.5.orig.tar.bz2 31ede4d75a8af0497644436844f1768f7759b0d22a711524a5acbebda9ea0681 3977 uuidm_0.9.5-1.debian.tar.gz 221a65fb960880e4a81f8b757a0189bc52ecabcf23c41e2731c2e002f9835818 181880 libuuidm-ocaml-dev_0.9.5-1_amd64.deb Files: 49945ec64752442cc5253b5c5ef256c8 1976 ocaml optional uuidm_0.9.5-1.dsc 0ea5da95141c4e16480886d857591cd8 44450 ocaml optional uuidm_0.9.5.orig.tar.bz2 77154cfb0d0955e4d37f95ed1aa5724f 3977 ocaml optional uuidm_0.9.5-1.debian.tar.gz 05e18683220f97b4ed296b45aaf69459 181880 ocaml optional libuuidm-ocaml-dev_0.9.5-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRozF8AAoJEHhT2k1JiBrTtCMP/1PScRiEYvZXbiCRKFERabcB 4zCodEtthtokenMXZj4zJn9rDtJAOTMvuxhSw/tlIb0Bita+ra6Mt2PglIWPvYqY TVFEFAUb0R99z1K/UUDfvR3m9fGFlfs7dBlOqXIKvBDi589omYlBLH16nRcNqM6q +78H/WS89QGk9g2YgPFJ1kn5bhg7tlCbJRCQwXTSYnB2dJV6x02dZEK77cG/2DbI kLSWCoPZPmaXorpM1mpqF8YZFagwB4L0YSRK1pykZ/c/QKDNMhZDG1/yB6LohJFa 5buSBZM6eAHr1jo8WieeGidzWqo/gLRdffhLFzhXQdtW9BkFPeB1nWwBtqyusLES y8rjc8W2Ls2pCf/Jw48d0qccV3tb3fOi4B9oxYOxL4OCqlwJEtxiOZPMoRcnfE3u xyk0I9D//zLXCBz/qKXwVGLAiGGEzqq7QmDOwH8oxAGdj2aYAWnOK9epGlovQjwq BOTzE/KgKO/gRpfq45jdWtpnEoSkMmDJGbPitmxNxLuwEypt5HDtNTgHKXGcCs/C EOhS1wtOuPBJI74z8O/IQv2PS61aqJPiQbpuKvmQQLBw2yYlryP6mpjZORdvZDI1 8YLWVvUqTPEo0fB5Q1ju3M8P/BHyd9+bmGU8N0UHFYUh09M97MZwnGgc26+Esids XgC8T2eipyP1j/dY6qRM =X9wX -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1uguwo-0004nz...@franck.debian.org
Accepted hol-light 20130511-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 17 May 2013 13:54:42 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20130511-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: hol-light - HOL Light theorem prover Closes: 680494 Changes: hol-light (20130511-1) unstable; urgency=low . * new upstream version revision 162 from 2013-05-11 * fix typo in package description (Closes: #680494) * set prioity to extra * omit new elc file from package * adapt copyright info * add new patch include-compiler-libs for OCaml 4 compatibility * bump to standards version 3.9.4 * improve debian readme Checksums-Sha1: cd564d8f801378c25f3ed1907c5d433d5d2ae93d 2023 hol-light_20130511-1.dsc fec413b1b6a40214af08b94244bae1e7ec479e9a 4098565 hol-light_20130511.orig.tar.gz 99e44d6f93f0148de206cfc0817b8cbf6b710100 8481 hol-light_20130511-1.debian.tar.gz be2ca3a8dfefe1f728fc6e632528a4fd403e265d 4016756 hol-light_20130511-1_amd64.deb Checksums-Sha256: b85b8d8a3f8ff339b6ec486c3223fe2844e2d10ee2a0adfb3fc2d7681e483634 2023 hol-light_20130511-1.dsc b94332aafb2fb9b962922ac75f5f78cff6b23e878261cf3d4857600e87e83634 4098565 hol-light_20130511.orig.tar.gz b7da775e0ea6df8662212e53e48c6c55d5f834e5269cfafdbf109302c7032859 8481 hol-light_20130511-1.debian.tar.gz 25519cd07e56e5af71b134fb91b70aa8b950f0c79b98eeeb14e1474cbcae86de 4016756 hol-light_20130511-1_amd64.deb Files: cf5348d9986ae9453f10416d9cdaa28b 2023 math extra hol-light_20130511-1.dsc 61965788de94b0144f2cc7bb9674bac2 4098565 math extra hol-light_20130511.orig.tar.gz d78bc9942b25371a848ce00555c0e4ae 8481 math extra hol-light_20130511-1.debian.tar.gz c7a04f49595debac8053da320ef5f6a5 4016756 math extra hol-light_20130511-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRo0aRAAoJEHhT2k1JiBrTUWUQAJhPeJLZzvqqWEqZsc314RFE XyvF2cjMr7PK1JbM412OLTDyCNHNtQ+cDl5ihx9M4J/KEOtonxh9jqt3xJwINblC Lu1Hu1X3Kcbhj8TkniVrQLhcd2xo8zlaoJWyt7PuIY7yi6xXgMwUHYncMTTyxNIl ZqsyJRxXM3r5hev8v1ce8r06UT4ezZDpMBl4Qh3lorCmBNc/wa7Wt/8syJvN9GuU NnCkOIKTVLt/RdGjRD3MKZHIiQ5kTObYCqUkRqBlvC9zpK+8lunH4hm3gJuNLWpq S+f8HQIfLzaDkJmzgEKiHuaGfSQTmGljBD2nQqrdrxbHCuNDDjnDiTF3/Xrzgp2J J5XhcFJ+1DZUAzEhxYhaaEHBf19ltB8S4+sJWGTkU8bsGH0s+dkfo4JkL4fehCMa eFGs/QrAVelhRjmqO7TzgDF/ql9BFRjBO7S1H1gDcN3n3x5aA0sYOOooEVKgzTzg tSnQWPCspVlK/AufTEuKG+AM9Pc/dJ9DosUj3Tatz+GAQspfJdFknW+ncCasV/lF DdFyRPxZ2flgmzgOzb+XXBaY2NkkPnECUVLZa5sRyyjJFJRAO8KaLK3GmAD1/4to jV4VdTBiExGMOp4tf6hCOYHHybfLUir52oKRH7jegxV6shzlSUkovQWwK5dh1eKh /+Bpd+NufXNzuem4eobj =mbIF -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1ugvwc-0005ja...@franck.debian.org
Accepted ounit 1.1.2-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 22 May 2013 12:15:56 +0200 Source: ounit Binary: libounit-ocaml-dev Architecture: source amd64 Version: 1.1.2-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: libounit-ocaml-dev - Unit testing framework for OCaml Changes: ounit (1.1.2-1) unstable; urgency=low . [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders . [ Hendrik Tews ] * New upstream release * install cmx files * remove debian-changes-1.1.0-1 patch and strange changes in _tags * add myself to uploaders * bump standards version * bump debhelper compat level Checksums-Sha1: 37bbfe2a06bda9806e68d91bff555c2bf34c21c4 2033 ounit_1.1.2-1.dsc c7311ac200138958eec9b49274083989a0b097f1 58055 ounit_1.1.2.orig.tar.gz b1667d3a94e4cb357fafb277ae5081c0f0817b33 5072 ounit_1.1.2-1.debian.tar.gz 43403a6fca1d3e0077d3bfd0b0cf1c50cec6bc8b 107442 libounit-ocaml-dev_1.1.2-1_amd64.deb Checksums-Sha256: 11b3feed854568ebfd4a118979e17d5d23013275fa46f8c2e0361830f0af23b8 2033 ounit_1.1.2-1.dsc e6bc1b0cdbb5b5552d85bee653e23aafe20bb97fd7cd229c867d01ff999888e3 58055 ounit_1.1.2.orig.tar.gz ff14981df6a26e297ac11b4c62a05f82e0ae5a4da7907c7d65dffc9727476dd4 5072 ounit_1.1.2-1.debian.tar.gz af78c9869c49a35a417509bf2ec910bd8b3c8193452275e99d8ac6319dc90bf9 107442 libounit-ocaml-dev_1.1.2-1_amd64.deb Files: 7756de20319c664e7cd29c63a67730e4 2033 ocaml optional ounit_1.1.2-1.dsc 14e4d8ee551004dbcc1607f438ef7d83 58055 ocaml optional ounit_1.1.2.orig.tar.gz e114fd0fdae3ee04cb197a7e6797c65a 5072 ocaml optional ounit_1.1.2-1.debian.tar.gz 4e84fa42268b9d54efbe5a28108a064c 107442 ocaml optional libounit-ocaml-dev_1.1.2-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRo1AzAAoJEHhT2k1JiBrT9XQP/0FRPkUuy2sYuRqzoqn8WZzq AxtI5oIvA/5yrKTKWJbgC7TcFwsYaL+bpMN3QB5HF9aMXvgrhsaRgdrUEwi3WCWJ vzI3P1MV4hDkvSX2bnIXDH63w1JYd4LYNArSPEfCDQ7isZ5dqd8ZeqA2ib8d+g+6 PSplm/CuV3QUhRtTTy7FVUHQFWzG7LfSzaC4FJ09zYJFrWtoo1e8LqZfedeTOcuG a7f60U8pPWlMOLAklFiK20XzyLGGC1cRwypUh5l59rEoTkKSAxIEqIv8KP8Pstcg kantkirbNYEGkZfJKqbvdHoCNBgZreSkKQHoqarXtXLyoCkF2N9ODxPrwUo9eKcB hpvY/0wjzO42LzpI/jAX0wpe3OiqBf/hjRpXTitpWhzA/tSu4YxmAhMwgtoYccAN b+9/vI2NLIDSnhNBAIGL8eN6CDUz+mWX6l7gu0pod+mrq3JVatn/MfJXl4hfPNWl jBx0QXNCAToYgPt22GQnZqTX1TKs8ba8s+kysJXFJydC60mCyVTaCTN+7z1p4W2N i/MyMU9Cjj0rbz2TFOT1dh/UPmdXWJsQfH/FguESm/qouH/ayEaYdE1eC0hA2sqW nw7DWzzB8grT5dNW0DKqMu03Oqd5+B3gaHqmrBD+LQ/RllLzp/wWsj1mTGbJ+/iH TbTUvfiQYjkM5d1mVV7s =NJfb -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1ugwcn-0004xr...@franck.debian.org
Accepted proofgeneral 4.3~pre130510-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 15 May 2013 17:11:19 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.3~pre130510-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews hend...@askra.de Changed-By: Hendrik Tews hend...@askra.de Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 687977 707331 Changes: proofgeneral (4.3~pre130510-1) unstable; urgency=low . * New upstream release (Closes: #707331) * improve watch file (thanks to Bart Martens for the uversionmangle hint) * add new patch to install coq example and add hint in tutorial (Closes: #687977) * add new patch fix-texinfo-5-1-bug to fix a problem with texinfo 5.1 * add new patch pg-image-bug to rename ProofGeneral.jpg * permit emacs24 * update README.Debian * bump standards version to 3.9.4 * debhelper compat level 9 Checksums-Sha1: 828128b07e2db3a7b4a7dde785c6a86e74414e16 2009 proofgeneral_4.3~pre130510-1.dsc 46c85141e1e501de0712f7910e028dd7f495e067 1047655 proofgeneral_4.3~pre130510.orig.tar.gz 3010c1db352b1033c4541b4e8b4978164f4dd89c 20746 proofgeneral_4.3~pre130510-1.debian.tar.gz e5cfe52e22c39708a51f3031a261fec8b2953c95 464710 proofgeneral_4.3~pre130510-1_all.deb 6a47fc7860e9108d640ade3c385feeae73f3e9a4 686532 proofgeneral-doc_4.3~pre130510-1_all.deb Checksums-Sha256: 1937f5d1d3870fa86c5aa295e0dab6a6362a0295ed3d0015a6b7fead547c44bb 2009 proofgeneral_4.3~pre130510-1.dsc 0fbc85ddb60780f01b24856ac7d9fe9af58ace52105ac7b1f48f529cd55c250e 1047655 proofgeneral_4.3~pre130510.orig.tar.gz 9d5a7cc4407a95e7b7eac3506872a0528a97ab18f18d867b484784fec8db 20746 proofgeneral_4.3~pre130510-1.debian.tar.gz e19f3b4e51438c34668d8ecbe5bb2f634cb310ef3a6c6767d6b426c674a637d7 464710 proofgeneral_4.3~pre130510-1_all.deb d7447a6bf2220e6837959da40013fff3d7f2b2eaa2aa7f2ec087a6f5dbe9a787 686532 proofgeneral-doc_4.3~pre130510-1_all.deb Files: 4bb320f1b0d522de64b885a00986dc03 2009 editors optional proofgeneral_4.3~pre130510-1.dsc 6a48f2df2ae7ec4563d10f8423f50188 1047655 editors optional proofgeneral_4.3~pre130510.orig.tar.gz 4574519ec483413f3da774e4cf4dac29 20746 editors optional proofgeneral_4.3~pre130510-1.debian.tar.gz ccb6c69e214231c1b7012c3a469d2f5c 464710 editors optional proofgeneral_4.3~pre130510-1_all.deb aa0a69b1e72983c90277a33b4aaa9654 686532 doc optional proofgeneral-doc_4.3~pre130510-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRlzqOAAoJEHhT2k1JiBrTWGIP/R8dKE//FQ7yycDLgCCR8C6I L6ihY19eIReRk/fAmTBHANLRae+xmcRS3nskxUk5jbVG7osh+WVAbxgu1IiFJb6L 5YSfVAKPCHK3t7JGIkTZgoBdS0Ea+nzdW0uj0z6k30Y7GcE3y2a8E7lln7+38LwQ NJJfM7IWTK5nxX0+EAITNbyYQytA1aQtACsewQfNFLOKBBhObtf7rJveFWolCBdV t+nIj2AlwrOedd44ZCz2Ju/gqIMb6LI02ZM2HA9ktr+/odJO5YNYyaZ6KacOYnig /iW3mjRfv12OV1blKBbtoQgDcpHcMeGvNie+EVchaAG92XZOPJX/QeRNM4dOlT46 e/2IYnqvY3k+mhz6Rec4XEw9b+bYzhFPPe/rY2qvs3jR0RIkz1kiLzyIx2VfxPfE F5Bm4dNfcWdV5+TtO7ZBSYBYHNg3xtrhJbzcKCQvPgb+6UaWDq/3iZzJi0USK6+N OuKcLknr6Nc5DacWIqf1YdZPMfjtubicbx+HBWQ06elSJcV6kgM8VRZjJ3lkyfiw QfPawsaxKHrzLNJjhpdf5mv2Kl9REL6XU58Zy7fw0raQMb7Sl7NBOmwGv7hGTv8b jRkkuEK4pYvrbloW0kP09+B8oyP2fKJZKct5VkLYpUPJh3l0mHVykTfNXnJv2JFV K+6pIM1aiacH5eI6QQB8 =423Y -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1udd56-0003jv...@franck.debian.org
Accepted proofgeneral 4.2~pre120605-2 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Dec 2012 14:50:27 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120605-2 Distribution: unstable Urgency: low Maintainer: Hendrik Tews hend...@askra.de Changed-By: Hendrik Tews hend...@askra.de Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 694285 Changes: proofgeneral (4.2~pre120605-2) unstable; urgency=low . * add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285) * delete wrong info in README.Debian Checksums-Sha1: 68f674074d6b05c7e5074420a1d1e807a84f0b13 1962 proofgeneral_4.2~pre120605-2.dsc 1cfdca77f29e2520d66ded6d453a4c613d496830 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz 03f51cd1bcae83ee6ad5a65a6613c780180cd8da 432172 proofgeneral_4.2~pre120605-2_all.deb 314ceab4635b9db1f081f24962d8edb8110c2f5d 671274 proofgeneral-doc_4.2~pre120605-2_all.deb Checksums-Sha256: 1904543a6a7e6f42fe02760e8faa420b83770fb8cb4b629da73723effa50c84e 1962 proofgeneral_4.2~pre120605-2.dsc b79a0779352575a028f0304c16a3ea3cc9a1b2567b3c9f44b5f7331d229dce42 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz c89d049c382e09cce47a9b1c8e8cfd73f23f66e5b5c4982b2c090f4ae118fc95 432172 proofgeneral_4.2~pre120605-2_all.deb 986a6b3cc36b6e1b09f7432386a57ba8ce466d43fd534ba789ec354bd4a5f128 671274 proofgeneral-doc_4.2~pre120605-2_all.deb Files: cc8da877a0224ea53c6df50ae20ce0c8 1962 editors optional proofgeneral_4.2~pre120605-2.dsc 832397e59bdde78ba9e6695f47e65f19 19826 editors optional proofgeneral_4.2~pre120605-2.debian.tar.gz e4c4d3de8c5c61736d727b54889acd4f 432172 editors optional proofgeneral_4.2~pre120605-2_all.deb 0be5c68bb364b774ceaf9da52f91dd4a 671274 doc optional proofgeneral-doc_4.2~pre120605-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJQvx3wAAoJEHhT2k1JiBrTyFwP/j3a1E1/llVUrIj8QZvehehs HXv7dJpVG/8Kk1+0G3sCaTuKHoqlfJG7qSqJ60cQDgSKRTv3NxssB9c9pkMDj4sn tMdROVg2816/1bK3yqEwaDzI2bk8K40q97pgiiQk/l5cDFLvf8uBrp6UWrA02lvb ljUJVHNlYhVXMWNwCRL3Bj2eqJNhXD99da3AHeYP2tFWHcYZKTXITVawtYDvl+QY bu4PWRXJVz1K8MEcNEwXjKwg3jVmyZzQWLTYTcgGtcpsAS3A1bo8b/4Kyuu+UkMj bGJYUqcpkqnWGD3WrYbbAlTCxIRDUkEVghfqSum0akyxqQmOd/9AnLZLezL1rRMW E0lUx+uftavoi3ES9ACjUc0kcUUFPrjMsHS1D7EniRXjTT44eCuUkMxSw6Wbnjgd 2OlgHuAOwBBRGcSOh5RwxWlkLCIoE6y9AkJ94dbf+5XUNX2hDN3Np4e0D7+y2U5B 19QsEh5947OSKQwjR5mu6uK7pmLQEXHfo5K9fz6xAva4Ow/mSxcZjVl7J7eU9Skw llWehA7OA/aBqhhulNDsOFgtAO79qKSsBc/xk5fTojFVTsUClXpMGBcaqYASbNKU 1cr7rCJhkKpn0S8O9tMOf4o3YVVfw6xgVPTNyQsZPgteLGTgOeZCDdFNNHpJXcLZ PSPN2dNpwmZ5GXH7weFI =XrCi -END PGP SIGNATURE- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1tgain-0007p6...@franck.debian.org
Accepted hol-light 20120602-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 10 Jun 2012 21:59:35 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20120602-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: hol-light - HOL Light theorem prover Changes: hol-light (20120602-1) unstable; urgency=low . * new upstream version revision 146 from 2012-06-02 * remove holtest-dependency-hint patch * refresh remaining patches Checksums-Sha1: e3cd1d3d5486c9167998925289d0348cab7c430d 2026 hol-light_20120602-1.dsc 636ebfe299c67d65fc39980622af786f52d0d321 3831362 hol-light_20120602.orig.tar.gz 6edb7e4156679c8292e984b3a811ffb51b51e0ac 7995 hol-light_20120602-1.debian.tar.gz fb122b2c114f041926cad346ca99593cf2d6ea29 3763446 hol-light_20120602-1_amd64.deb Checksums-Sha256: df47462670c7bdae0a7129ddb45f514382a145e53a9ebc210123be141c14fe67 2026 hol-light_20120602-1.dsc fd333f2f8fe0a82d181e0e8e61b0cc5ec68a622cb55003e6daa9703b74bc5f21 3831362 hol-light_20120602.orig.tar.gz d4004c08d6dbc2a034e73eea92cfc0457116d75f335ee0914303fecaed887a31 7995 hol-light_20120602-1.debian.tar.gz 6d6dd15c978fdaca48747d4ec0007422b18db6b0ade72d9808d0e0320b71b7d0 3763446 hol-light_20120602-1_amd64.deb Files: b9729ff198e2a3a3320e7e21df3d0021 2026 math optional hol-light_20120602-1.dsc 9dfb0e9309f7d60fba21d96fcdf026c9 3831362 math optional hol-light_20120602.orig.tar.gz 2ff3844be749776e96f9113383a31165 7995 math optional hol-light_20120602-1.debian.tar.gz f633de4dd5f208a293a3438cc25a7df2 3763446 math optional hol-light_20120602-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJP1tuFAAoJEHhT2k1JiBrT9BgP/1rIRCY6SBARqeE/cW8wQlQ1 EEYW0De2Lg7CFuz2w/2fLxHkGPgTk3NAeVC7+/744fem+yiSU0N9TTYjxwWdTgRP 6otSpuEALpzWX55rO4XSx8gGn8cRdmqkASixA6aFRIkZSHLql8Iirbkrzef9d/Mq C1S3x66NhEja7k+46iryCBAiCYAa7T4bROFzi/cymPMvF1thjhBGsK7qmzH76K/p NvvD1NB5I7JAHvwEIsP8bKtoLjKn1uVzjAVtTJ3r8FnAqr7gdXyWqAlXnV5tghV/ wqcSsezFGtIpYU/RoftHBV9mNdmUlwCDwqC3hFuBD5v9U3xV1BqYRK5NNs/Ylao5 4Hd3uTVN/qq5bQ8YwCzjGQSyCd8z+YLrW/qRK84AJVw0nRwJSu9vNmppDWlwnQR7 ZUYuV0mt1AjE3dI4LYz1V0qi1koc+t8lPd2b3UqUHw0hrHdvJD5+0pIs9YlN8qDx zrl99n1MtO/Y3/A9Ds3jfla3NsODrWx/d7MdLuyAjU1oJWNOud37rhHArn+2l1lS xxg/eJG4SzZRAxLnVurpIbIkOgq4cnvyFrO1qvydNy2hxQcGymEoqsZVcpn+NqAt X+GXW6V1exQcD+HxiGdnqghMcKij/6be1GfL5LncNCAeh2jLJjAAvssd7C3qPVON 5pLyn3m6T8d3god5c+vA =RwYI -END PGP SIGNATURE- Accepted: hol-light_20120602-1.debian.tar.gz to main/h/hol-light/hol-light_20120602-1.debian.tar.gz hol-light_20120602-1.dsc to main/h/hol-light/hol-light_20120602-1.dsc hol-light_20120602-1_amd64.deb to main/h/hol-light/hol-light_20120602-1_amd64.deb hol-light_20120602.orig.tar.gz to main/h/hol-light/hol-light_20120602.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sekpe-0005yu...@franck.debian.org
Accepted proofgeneral 4.2~pre120605-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 06 Jun 2012 23:12:58 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120605-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews hend...@askra.de Changed-By: Hendrik Tews hend...@askra.de Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 669318 671583 Changes: proofgeneral (4.2~pre120605-1) unstable; urgency=low . * New upstream release (Closes: #669318) * fix byte-compile-error-on-warn in emacsen-install, --no-site-file has been dropped already in 4.2~pre120411-2 (Closes: #671583) * use debian-emacs-flavor in emacsen-startup (see #662163) * delete patch disable-proof-tree, add patch smartly-enable-prooftree for enabling prooftree if Coq = 8.4beta is detected * fix package description * add hints on Prooftree and incompatibility with manual Coq installations to README.Debian * new patch for using debian-pkg-add-load-path-item (see #670339), but don't use it, because debian-pkg-add-load-path-item breaks Proof General, see #676424 Checksums-Sha1: eed36c65acc3bdee35e38d6607a946413d3a3992 1962 proofgeneral_4.2~pre120605-1.dsc 31fce41a4a67a40701a8e8c83d1de1df26501c66 1020306 proofgeneral_4.2~pre120605.orig.tar.gz 4d26bd3872e3a17beb9a961edb8802156d5f783a 19936 proofgeneral_4.2~pre120605-1.debian.tar.gz 87e6d970c852a237d32f0a1ed00847c8e7808efd 432326 proofgeneral_4.2~pre120605-1_all.deb 6b585d9f2b6c02ad507b3867b35ef6b52f58f143 671154 proofgeneral-doc_4.2~pre120605-1_all.deb Checksums-Sha256: 19b2fd6ff2fe951e35bcb8920d6026c2068292602a3a3ec332451f38c99baf95 1962 proofgeneral_4.2~pre120605-1.dsc fa6f123aac7509370164c7a3217a332376c733138e28169852b4b4330c576fab 1020306 proofgeneral_4.2~pre120605.orig.tar.gz c7526d768e5cb85094849fd1bec047643fdb17c1d798ce71bda96806c505a979 19936 proofgeneral_4.2~pre120605-1.debian.tar.gz 8237ee62d62013c457c523f026b84010fedab3dad1c16d92fbb984e9957a26b2 432326 proofgeneral_4.2~pre120605-1_all.deb f02de46c836bb20eb9c6d3d2ff48d2bd723af74ef01acf5d2450e6d7be27b5fa 671154 proofgeneral-doc_4.2~pre120605-1_all.deb Files: 7fe6d30793b0a7a43558d9ccc3f37090 1962 editors optional proofgeneral_4.2~pre120605-1.dsc f103b1b6badf87188ab92ad47a507c44 1020306 editors optional proofgeneral_4.2~pre120605.orig.tar.gz 1a73aafe338d739f6ed9fa072367fe5b 19936 editors optional proofgeneral_4.2~pre120605-1.debian.tar.gz b9aa642c50766d3e7d31045dce6da890 432326 editors optional proofgeneral_4.2~pre120605-1_all.deb 4415587f07f8e62d569f1737817323b6 671154 doc optional proofgeneral-doc_4.2~pre120605-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJP02OGAAoJEHhT2k1JiBrT1/8QALhC5kJkM2PBTgaLYuWw8oFj LlBtQyw4g7J6K8AvdwrPeJtc01m/mm2Mphw1u9bgz1QTflUhas04x0r2o3z2u8wx qhcGE5ooBheGun4BLHtZHq3aEtQ2dKGmHnncXAKp05LxieFeAhnpaVbrtLbpdi3W 5DTZOfdu8ytekdN+AbmgGketTTrxKcRW42QkZGQKeAnk6nzm26bQtA1/Ar/bVPqi Y4VJdeYSK8XhiiYRQRkegf+G+WK1wiqEDgfcgKbN/wVVUWaTiwzTkbKyRoHkD8S1 1blWo3ZSFsID69tL2hs0DehNcxkeGjqhZfIag3dFy8ox4wr5WTKIkFPOszCXe5sM HApi3OpFUUtZROwjJFsQgBZwtwV3dQ9k96wScqSsuEY1ZcLh7kMTdekl5P5XxMyL ew1xM2f8yg9dikf8lp8JwBpPEKgg6Mr+23at6AY3foMZziwsUBt4tRP5EGHKX6Rf XgU7jAbz3lQvJFUC+OpS5Hnqh1t9YATch4SV9m5XSt8a9TfmQpQmFtPMTO574rDp GCf3x2Db9w5nRGI5lgVCLkG+HttxXIFusLOa7rZyHESgA+sezGHc+cb/khw5p0nG mqwKUCuQp4ghSJeBCGCDPdQxe+RPFEyUPxjQFs5ncSBR8vK504xdb+unTHFuOYns hQF1rnFceLDN4I6b7/Tk =2sHk -END PGP SIGNATURE- Accepted: proofgeneral-doc_4.2~pre120605-1_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120605-1_all.deb proofgeneral_4.2~pre120605-1.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120605-1.debian.tar.gz proofgeneral_4.2~pre120605-1.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120605-1.dsc proofgeneral_4.2~pre120605-1_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120605-1_all.deb proofgeneral_4.2~pre120605.orig.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120605.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sdnz3-00079m...@franck.debian.org
Accepted hol-light 20120530-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 31 May 2012 10:12:15 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20120530-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: hol-light - HOL Light theorem prover Changes: hol-light (20120530-1) unstable; urgency=low . * new upstream version revision 141 from 2012-05-30 * remove patches that have been applied upstream: adapt-holtest-for-debian and pa-j-makefile-fix * adapt debian/copyright * simplify debian/rules * add patch holtest-dependency-hint Checksums-Sha1: 07e017c9ed395f5647109428850a97bae39ef56f 2026 hol-light_20120530-1.dsc 0e732dd6c2f77d8aa89aaf9d911ebf09f268cf66 3814901 hol-light_20120530.orig.tar.gz 938438083b1c4985c849085fd6937f22ff3ee7c1 8190 hol-light_20120530-1.debian.tar.gz 29d565be45e42418281cc25d4b47cb47a47655f8 3741736 hol-light_20120530-1_amd64.deb Checksums-Sha256: dc7ced42e44b86e8615ac63613c0e51b3df8df6c0b9f953fc6cdf38b551d0a9a 2026 hol-light_20120530-1.dsc ceacb91d3615d2ed2a29b0370ccf7a32f2c6826a1424078f787832e17b7e2c6f 3814901 hol-light_20120530.orig.tar.gz 09715bf94c69b916ac5cd864df2d09700ada3fcfbf88640120d97ce983d67974 8190 hol-light_20120530-1.debian.tar.gz 502c36566aa125a4e1f75625aeb088e7acb71d7a7aca43b2a2990911f4d380e4 3741736 hol-light_20120530-1_amd64.deb Files: f08b8d4b4ed0e322433ee8e982765cf8 2026 math optional hol-light_20120530-1.dsc 54644c664c8bea7e9342485a372b6c7d 3814901 math optional hol-light_20120530.orig.tar.gz 1ca813b82773c8e47aceb7bb39e78161 8190 math optional hol-light_20120530-1.debian.tar.gz a12a2e080809064f88840e093934d039 3741736 math optional hol-light_20120530-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPzGzeAAoJEHhT2k1JiBrTBuAP/0u8sMGwDT8E3dR7o0v/pu4J Qz8MlvVpjU0QYK2fg26mH79q70kaboY82jRLOm4ZIlpmA6AfRbbJuXBisd5kkPgG DMuqgqkI4h/VRVMPyCxQ/xFZkcw6XAIXab6it8xZeHcduumNJotLT1iRH9LupOH5 o4ZxrcYXqBPgBJ3214s6rStShPEcz5oHX8jkGE77VOpK9GiTTBWfCNRc6NT0atqw /qXq7C07DK8lrK5v2eZdvPzuyMrbalp8/+f4ugkcdNmMnwNzDFlAihMn5MaPHADs ObszfOg4Fn8U/8cXaOhuRACJPAIpjwm2R38+puA+zG5xAD0+sEXVX125pot94vsy Y9wC0orOFIr1bKLxh4sYSlFAM5CHgNro3a4S6Dj2Ske8H+Ldi+/wUBCg0CbXARMC IuSpe1L/VBi58QgWQ24Ed8L3gDLxQ9sEteP7YPpzNse2N6xYm+K9P60Q9RWv+jig b37cM83p5dpbUwABoSwnseRKDGzwTGcfJFSlQ23zHOP+jodOPsulkCkbKO6jit2t d1fIcs7Qsu7sWQxo4CmpJsYoG973AC5UM0mpHiW6MOyKzcI0tYMaa9RGkDnOj2yK wN7VelC57tefnVPzhK4c6ABKQJSWJb1vBGIu/GMJsyTodqXJB+Wlns56Lhrz/PTR M30lKxjXpm7fJQOz0nIu =4Zua -END PGP SIGNATURE- Accepted: hol-light_20120530-1.debian.tar.gz to main/h/hol-light/hol-light_20120530-1.debian.tar.gz hol-light_20120530-1.dsc to main/h/hol-light/hol-light_20120530-1.dsc hol-light_20120530-1_amd64.deb to main/h/hol-light/hol-light_20120530-1_amd64.deb hol-light_20120530.orig.tar.gz to main/h/hol-light/hol-light_20120530.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sbtfr-0003gg...@franck.debian.org
Accepted otags 3.12.5-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 23 May 2012 22:25:28 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 3.12.5-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: otags - tags file generator for OCaml Changes: otags (3.12.5-1) unstable; urgency=low . * new upstream release * delete bits in dh_auto_clean override that are done by make clean now * add README for /usr/share/otags/hints Checksums-Sha1: e6749a5501ce11cef3c09f15ad3517ad1ea1cbda 2136 otags_3.12.5-1.dsc 79675024beaa2c3e32af1294a69922c64f9d91d7 73421 otags_3.12.5.orig.tar.gz 758fa11dc021d62bb0fe5553b98f77f2bee0 4837 otags_3.12.5-1.debian.tar.gz 70940d4cabb53baf461aa659b4cb4daccda1feb6 1204426 otags_3.12.5-1_amd64.deb Checksums-Sha256: 1c0ea8f8409ec77ba7c90859a6fda46916907125acb07bdc573337560a9792f8 2136 otags_3.12.5-1.dsc 9449c15960b3e8f6c6dd3a6438d596d7379addc00ecfa7cf976e2b74246f4fd2 73421 otags_3.12.5.orig.tar.gz 2e4e820b5fe325a86520168a2b61140bac000ed5fc9f6d450403d2a739d2a889 4837 otags_3.12.5-1.debian.tar.gz 2c7671c067f2903228037b93ed580c780466ed9be0625035849742fe17de6c82 1204426 otags_3.12.5-1_amd64.deb Files: c13a4289d309da7854add6b7243d5661 2136 ocaml optional otags_3.12.5-1.dsc 897f3309a69b133d3f52ef0bf617271e 73421 ocaml optional otags_3.12.5.orig.tar.gz 70ca1e26e8a9aa5b9a1a50c0c4378de6 4837 ocaml optional otags_3.12.5-1.debian.tar.gz 5d992207795d096661c10621455730fc 1204426 ocaml optional otags_3.12.5-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPzG4UAAoJEHhT2k1JiBrTfFEP/iuKt9PliBN/V7ZgDLIq1a8g 4R3sXaCVFJr+o8kSJdJOJBJOFZVnHH3dRwzsrGjzgKLASHtraZWaQdhOSJMXlZeY nSW7ORBbnRu3sjdA1u/CQzaLpBYebutVVBYPaECX6HWA4wI4dKZaCblYvErpa83d FoNi3NpsBdZNo7GZ/dAgwMI+z1tC0OKnad76XRgr16i/A6fIeAwDu/bKqTrfZNJI Kq+rl4RGTdBvCgHcuaQ35gbQIs+J8bHKutbY+s3f6qIusUOiVH3x6pX4Mw7guHAW h2E/xPTZRwT8d5trQCthgs0VSCl4eWch6KFUq7LqSvsVLeTugkKwZl3LOkZoTlw0 dYHHZwR1QoI25qo/uEMlha8mfBqZp+qnjkzBf4/EGoNV5oW00r+WaDVH4YwPe7Zc dFmrtqB8DhAAhLPoFKa8ZU0rH0M9KIfISB9iCzREv1wBK1e4JGKkITqtxt3b9zSF 1j+pHW5AE8YaRkEzEX7mKc10uDqTpoaIEDQEqmFPoj9706G/qidt4PGnBWCSt4PO 6z+ArYiI7HHVHgnPFqzXNkSqgJsS07EL270dUI2iJCrSo/nSVxeR1jzA7VnVS/x7 DIYZPcpmvftTApQ1uGX/y1T7qxinFj/jg2nfQoTlv0mg06QiHL2gvIKUXYI6WL3O EbLHuXPOGIZZl/yt5fWF =gS2m -END PGP SIGNATURE- Accepted: otags_3.12.5-1.debian.tar.gz to main/o/otags/otags_3.12.5-1.debian.tar.gz otags_3.12.5-1.dsc to main/o/otags/otags_3.12.5-1.dsc otags_3.12.5-1_amd64.deb to main/o/otags/otags_3.12.5-1_amd64.deb otags_3.12.5.orig.tar.gz to main/o/otags/otags_3.12.5.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sbtk9-0004bg...@franck.debian.org
Accepted otags 3.12.3-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 17 May 2012 14:18:27 +0200 Source: otags Binary: otags Architecture: source amd64 Version: 3.12.3-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: otags - tags file generator for OCaml Changes: otags (3.12.3-1) unstable; urgency=low . * new upstream release * debhelper compat level 9 * standards version 3.9.3 * enable test during build * overrides for dh_auto_clean, dh_ocaml Checksums-Sha1: 92d012fb14233dd263b310b0ebd4277dcef2e2ee 2136 otags_3.12.3-1.dsc 3d51cc4821d3e4ba18146f4e7552a91b0b22a806 67154 otags_3.12.3.orig.tar.gz 1d49322af0ba34a6dbb1bb98527b675df408ff8c 4672 otags_3.12.3-1.debian.tar.gz f7895dbd5b178117c366fb2a64b82b1c8beadaa7 1197244 otags_3.12.3-1_amd64.deb Checksums-Sha256: 21600af9bd3ec0ab244da813884594fce182c2a3438ee439ecc503ef811b8e0e 2136 otags_3.12.3-1.dsc 10bf6fca3e0ae9453b4a87356382cd0ea96e667e1bef792df127e68eddf2a7d3 67154 otags_3.12.3.orig.tar.gz 907853fc780d91a3d63a1dd75f08f49222fb8e9c4c6b1e1fa6a1b71a5e7ee01c 4672 otags_3.12.3-1.debian.tar.gz fa7d5120550824b2cea38109cab391e608eeb826aee14f9c18d4da8604691716 1197244 otags_3.12.3-1_amd64.deb Files: 759a7ada5493b6437620033c1a4f034e 2136 ocaml optional otags_3.12.3-1.dsc 8e1b67c25c98136a6f90c3ee07d28705 67154 ocaml optional otags_3.12.3.orig.tar.gz 9bfb9c931ee5b5b7e1d02e2e9c0e2010 4672 ocaml optional otags_3.12.3-1.debian.tar.gz d51fdd1225471e9c75c358389a66037b 1197244 ocaml optional otags_3.12.3-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPuzE8AAoJEHhT2k1JiBrTc4cP/1fkoxF0Q1sMaiG3IGHr7iDY yyA9eYO6TQORejFudPz/ty9DorbWckxUbaa/bJ2iA27OxSeo9ylp6epnA8uc9EX6 OByP4sLE81E66lHSSAp3KwL3Z9lYaZEVh1tQxASshEadeafbkuWoh5c5hdlqfIlC +u27RyeYdCAtEvgI7JEM8akppEkkKGFar4S2wW9hU0NjztvIVLqTn8rC1yu1nNCX YdK7I3WpprtoACBy9AXFqBBka+z/07PB33pUkjQ1BvNqLDY7KTVCXcpuREoQs10P wwIMJE4+o+L5wbfwiFh3zvp+DXiUEBqm2B4cPmGqvREAQfpZkL57CdKLtJmXn8C/ 8B/ONwbJrfkVnkhex7Ta5XyJIQSUuPVQMo8fusjaemtf6/IyurCEaU0YZ8rJ2Y5K eSvcAi9exOdV7j6EoYYtQVw+MKdQCBvAtTe+mhU4+0Qy8lM7r4Ny6E3SEDD5/xxX ipUaTln6q9IyHlMXwsdl7hqT69d1SZe4tXvE1R5Ebbb8voIUcDdkwN/pIGVFfdaQ xjcm9XVEW+Gf9xNOOMsyuVYM0kHG5V7nIIhkImjSP1pRmpJTr/6Xq/A3jwr/z+Jw PaLBT9txew9DwMQAm72owjqFdOAEzCz/O3ptmhdarYT8itWKVJmAwiJyJQBYUmGJ NE0D5gb19tM1bQ5sITn8 =8vV5 -END PGP SIGNATURE- Accepted: otags_3.12.3-1.debian.tar.gz to main/o/otags/otags_3.12.3-1.debian.tar.gz otags_3.12.3-1.dsc to main/o/otags/otags_3.12.3-1.dsc otags_3.12.3-1_amd64.deb to main/o/otags/otags_3.12.3-1_amd64.deb otags_3.12.3.orig.tar.gz to main/o/otags/otags_3.12.3.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1swifd-0001kz...@franck.debian.org
Accepted hol-light 20120423-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 24 Apr 2012 20:40:39 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20120423-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Hendrik Tews hend...@askra.de Description: hol-light - HOL Light theorem prover Closes: 663754 Changes: hol-light (20120423-1) unstable; urgency=low . * Initial release (Closes: #663754) Checksums-Sha1: ae87464cb654c8abdc227b53db6b431e86a99772 2029 hol-light_20120423-1.dsc 45320c33707e22af6af3bfa1c936249a82624d7c 3703879 hol-light_20120423.orig.tar.gz 67729c0731ecbfb33c204c0969622923d8e6dcda 10320 hol-light_20120423-1.debian.tar.gz 12ab49ae21c628a99e3a87f3ed3774cedc318e1e 3633580 hol-light_20120423-1_amd64.deb Checksums-Sha256: 56b9271a2b3ca6c7f79d03c47cfb697dce424d46729a2e76841d2117c0ad2b12 2029 hol-light_20120423-1.dsc d98bc3a924f96014303d126b6a0d9b181eca013304c216000626c76fe449b9b7 3703879 hol-light_20120423.orig.tar.gz 457b80917b2d3301fb305a174d76c3de9d15d7007021bad9fb7d627abea7d341 10320 hol-light_20120423-1.debian.tar.gz 49c35a58521aaa9c6c787fa40687d4e91cf45fce4e2399a6c652f345bdf9a40b 3633580 hol-light_20120423-1_amd64.deb Files: f3fcb6fbff1260275c027f7c8cd37229 2029 math optional hol-light_20120423-1.dsc 752293089a203687c98cb3414795da00 3703879 math optional hol-light_20120423.orig.tar.gz 808d78a3b9a3c07d20d84d28862057ee 10320 math optional hol-light_20120423-1.debian.tar.gz 44b6dd1219f30a64c57a42ea49d75109 3633580 math optional hol-light_20120423-1_amd64.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPmYl3AAoJEHhT2k1JiBrT2kMP/At6mvCh+PRmi71N2YDl2iLW /9UWcHn9XkEqobuCwWfnKG2yd98lCtLVfF8Gx4l81by7akzTvhj0d00xc0lumb+q za5bHxcZ3Nga11wrk9LYDfyw9+4shKgroE2iwP+uClOJJer92QGFkQWu8TVm526H TORryUOSGEt09EnHxH0H0Jhmq+rOayS9EzGO4ip4nijALcqz1N+02AUIV8cQxvj/ VYqh/Oey66pYb2b4ylBgFWajcLIDPBtAcE/cuuX47oFXvv/Qe5FC4jGiezuGP2rP ckd41sStxykimwYl1DXREDP6zlFWjp87WJzDawHHKuhXE2b+YIL4yb6ksXG4o7rv yfDmD0qedNm+YpalTYxNvVKWOBi9hlJZDf787KKOdOohfJNn888Ml3WOCOBxYr2u P3UhqdmlIaE2iJ9kzBXwX4cpuI5w1RH7B7pFRBt6LPNHvZoMyKI6k13EJlnSRAs2 Z/k3RNlNthcSfT8GujO9Xn3V18CMNWxO5yJ+N7rCnTGlL404vtQGdQF5UfZjAyXb ZaMNAy3IL7l5qdtQnGdahFo7lPdJhvLG/1YEQUyANxqesacbqxh2+B38FYln7eIq Xp6F5NutwkDk4B92h6c4ze717xJPaTuCuldpdUnML4g4UxPqgeaFB/xl0jmW9pRK IFy4791rWaeDI3ZUk3mF =iKgR -END PGP SIGNATURE- Accepted: hol-light_20120423-1.debian.tar.gz to main/h/hol-light/hol-light_20120423-1.debian.tar.gz hol-light_20120423-1.dsc to main/h/hol-light/hol-light_20120423-1.dsc hol-light_20120423-1_amd64.deb to main/h/hol-light/hol-light_20120423-1_amd64.deb hol-light_20120423.orig.tar.gz to main/h/hol-light/hol-light_20120423.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sviq6-0002y1...@franck.debian.org
Accepted proofgeneral 4.2~pre120411-2 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 25 Apr 2012 22:57:47 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120411-2 Distribution: unstable Urgency: low Maintainer: Hendrik Tews hend...@askra.de Changed-By: Hendrik Tews hend...@askra.de Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 670341 Changes: proofgeneral (4.2~pre120411-2) unstable; urgency=low . * link el files into ELCDIR (Closes: #670341) * link image files in emacsen-install * fix flavor in emacsen-startup (see #662163) Checksums-Sha1: d48ac05c8de02be828e1a8a61b40b3768959009d 1962 proofgeneral_4.2~pre120411-2.dsc 6e7398cd8489848e7782b1be5cae58ddc197749a 18578 proofgeneral_4.2~pre120411-2.debian.tar.gz c6a0e6afd17b49a33a09fb4e5c6d5998564f3592 430262 proofgeneral_4.2~pre120411-2_all.deb 2c4c1e9a9bd05ec3b9f7b30b53fc7703fb22a31b 670884 proofgeneral-doc_4.2~pre120411-2_all.deb Checksums-Sha256: ab956450f480015a1592bffb8a68a14863d160745f7bb1ca751a89f2e13f1186 1962 proofgeneral_4.2~pre120411-2.dsc 805f1a483d0e94fb58cb896313c70184710b294ca9117c0adc736554774da612 18578 proofgeneral_4.2~pre120411-2.debian.tar.gz cd35948448d4349efcba5bb2a59fa271feb54f9a8eae9074688efd5786fb5c09 430262 proofgeneral_4.2~pre120411-2_all.deb f28ff9a0e7489ce579529c5e21e790b92b4e8ea78052ec4df71356af1a78edc3 670884 proofgeneral-doc_4.2~pre120411-2_all.deb Files: 9114d285c11799454f1d89cb576823d3 1962 editors optional proofgeneral_4.2~pre120411-2.dsc 737ee1bb7b24676d0bf171568705d988 18578 editors optional proofgeneral_4.2~pre120411-2.debian.tar.gz 0977fceb0fb61d41c4e77f100b43b10f 430262 editors optional proofgeneral_4.2~pre120411-2_all.deb f0e2954fe8dbfcc38cb16eab2e809bfe 670884 doc optional proofgeneral-doc_4.2~pre120411-2_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPmYgbAAoJEHhT2k1JiBrTFKoQAKFyLBjVpjE7e7mlB//bipfr NBXKgQzju8u5j5rprpOhsgSuvKZMPeDXkt3iwPeYgPNd0u64fkLQeLLxpSbfL/cK iw+RcWWYj5y3T0QiTkxHSInuHNd+3YRD1rSFWeTIz46wwiLhw7eqlrirqpZ0JDMU YDOoY6wXiqcHVR8ttMsU+A+Y/811BLPvv8RRZGSP/TbY0n04LNJCmq1fsI0YrPbx gknUDE9iiGgBX1zytG5/1J080mAqucVEtBjmSyUo3uohCyAjUw0KoDavTpvcHhGU 39cgEhj8ePSV/n23Vqjjol9Do3dL4P029d601bhn38w1Sc3B0JA39lg32gTrN4+T W5hDFKfLx62fSGpA27HW6AjL3y1F8w/+yEdC40kCTjXyeKxBclTKJTzMwJ49nbes 1Lg1SO8PL1Fp77qElpcabu5rcYGyWPKzKDj731Kx84bxbHgIwtK6SftvFwcsGIr0 vbRlIEjX+fd1+RKJulSAFiDn1rL3YOxw0aHF5samDNe49cS8074fCLANXFTlPz0a p6S82AY+Kzsp1cyPexiwfzr0XPQ4O5JJBVI1suUmIuj5FOmYFfFkPUecANdfFDZa B/HksYvg8gHP3p8HszUi1FkAM8+rIqQ8v7sOZSqA7/EzclM3qHRPRvsFBF6aZ6rV chaSCcHcwGIDMBqq5Tlr =z68y -END PGP SIGNATURE- Accepted: proofgeneral-doc_4.2~pre120411-2_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120411-2_all.deb proofgeneral_4.2~pre120411-2.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120411-2.debian.tar.gz proofgeneral_4.2~pre120411-2.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120411-2.dsc proofgeneral_4.2~pre120411-2_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120411-2_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1snsnp-0007t1...@franck.debian.org
Accepted proofgeneral 4.2~pre120411-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 21 Apr 2012 23:28:59 +0200 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120411-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews hend...@askra.de Changed-By: Hendrik Tews hend...@askra.de Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Changes: proofgeneral (4.2~pre120411-1) unstable; urgency=low . * New upstream release * remove 3 patches that have been applied upstream Checksums-Sha1: e3cc1e621d61bf6c2bf8b922a79006677f274f39 1962 proofgeneral_4.2~pre120411-1.dsc f68829d41ea20307c979b5d253eecb1dfbf5128b 1019250 proofgeneral_4.2~pre120411.orig.tar.gz ea4df25198ec0959e91fb8d341bffda64b541776 18453 proofgeneral_4.2~pre120411-1.debian.tar.gz 41c0eeb9f326a52a6f762b02e35f679b877ba70c 430264 proofgeneral_4.2~pre120411-1_all.deb 46e712549ea630f87e24160722106303b3db52d6 670792 proofgeneral-doc_4.2~pre120411-1_all.deb Checksums-Sha256: f3fc5c8f285393c3ae5eb5f45851e9ee8dfe2d19260f584ced1a3285d12064a3 1962 proofgeneral_4.2~pre120411-1.dsc fb9cbd27527b089afbe789e4b514025d81f58898cfb33682588ce9f98570b03d 1019250 proofgeneral_4.2~pre120411.orig.tar.gz 08ea74a400ca29a766cfeddfe3f49dc674d167433f5e6994e501afe560d0c597 18453 proofgeneral_4.2~pre120411-1.debian.tar.gz 7698be48734295fa937e449e54db409395d8bb3456c8c4cf40f13f3f62d084f0 430264 proofgeneral_4.2~pre120411-1_all.deb 585710093637faef6e696b68f378e2c7b0d9a16a457929e3a9dea50ceff25263 670792 proofgeneral-doc_4.2~pre120411-1_all.deb Files: 7f266fa91a258bd0f0fab0e1c685c5dc 1962 editors optional proofgeneral_4.2~pre120411-1.dsc 72e64faec0fac86b2c33892a79e0d7be 1019250 editors optional proofgeneral_4.2~pre120411.orig.tar.gz 79c67507268c717dba67ee6e9e20842c 18453 editors optional proofgeneral_4.2~pre120411-1.debian.tar.gz 4c40f2b952e33723cf26ed3b02a0c856 430264 editors optional proofgeneral_4.2~pre120411-1_all.deb b9fa4400517caa85ec28a729364d3c79 670792 doc optional proofgeneral-doc_4.2~pre120411-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPlGqhAAoJEHhT2k1JiBrTqR0QAICFG49i1b8WmivA5HNuN/hI rQG7qVxs+nNp4CTZuvtoy7cc2dFeWSWmxke6rbpN17jMfSdPSyEoDzruMuwU45+e UGRqzvCmliusfI8hVI1FKugdney9WuEVXRguw8rOoAKcq1Y7lStopN2Bp0ATEcZ5 xjGx1rNHgTrYThfNBHNacax1Ce2Flq5ABYWekRbHFs8g+tExfQdV8v1FlfBOZeTy +kNMYIf+KLivu3rY8Fo7S4chSSNk5YiogaToBYitdyTb833RxUussHAv910w7LVf VK2OGvVQlRg7pbZvxvusFS+XNgcvHr/zqgq1XunbdkzfHk9guktAw4EaIHWdBLfO YiSz/EWuCqaUwuiEkmu6vAwqGm1alafRIgwCQ9DPEdx8sVMzMFgyMY31G2MzVc5p +yyBfVGhcl3jV+3vO+op8ElZnuaEtf0KJhJvydPwEb7u9waZ2HfX0eFTaxXOgQfm O3uEga8tk53mZyhhE54TcCCKUaZkDTq6rWn03dD6zI2tI13B9qWDm3SdYNZTYsoD HYRp+juW72iF27kvxDABIb27DBp2KVUxJ4/Alzc4pH80UlsCvbfBSS5Z/qPydzdb LsKCH6tXNKAlG23BJjM9y/mhijH1TB/QrxAWAqFseozYOEb3mOv68OiHHRXvKmlF udVJ0pygy0AJlJmi7YMN =JwKX -END PGP SIGNATURE- Accepted: proofgeneral-doc_4.2~pre120411-1_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120411-1_all.deb proofgeneral_4.2~pre120411-1.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120411-1.debian.tar.gz proofgeneral_4.2~pre120411-1.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120411-1.dsc proofgeneral_4.2~pre120411-1_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120411-1_all.deb proofgeneral_4.2~pre120411.orig.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120411.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1sm3qz-uk...@franck.debian.org
Accepted proofgeneral 4.2~pre120206-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 28 Feb 2012 12:53:12 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120206-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews hend...@askra.de Changed-By: Hendrik Tews hend...@askra.de Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 544436 642048 660353 Changes: proofgeneral (4.2~pre120206-1) unstable; urgency=low . * new upstream prerelease (Closes: #642048) * moved to section editors * standards version 3.9.3 * fix compilation with emacs-nox (Closes: #660353) * don't support broken PhoX anymore (Closes: #544436) Checksums-Sha1: f72783cec06eac9585cfc4cf91d0468455acca51 1959 proofgeneral_4.2~pre120206-1.dsc fea22b7bed1dda39eda84aa687b79bd32731c30e 952848 proofgeneral_4.2~pre120206.orig.tar.gz db395e481fd6cc75e0ca828616d29a1ec3abc12d 19341 proofgeneral_4.2~pre120206-1.debian.tar.gz f10c00836a8323dc59fb81961e7cd3279d8299bd 430074 proofgeneral_4.2~pre120206-1_all.deb 692e963daa7d45a09f89dfe0ab89b8e15807c60e 676030 proofgeneral-doc_4.2~pre120206-1_all.deb Checksums-Sha256: 2522708aab2edab2a876dfc4f69d964aa94b31c76d6527f16ff3edc483e143f2 1959 proofgeneral_4.2~pre120206-1.dsc cc6d4b0a83d9459d516541653839fd9873f6a96a3c574879780d06b2022482d5 952848 proofgeneral_4.2~pre120206.orig.tar.gz 83505c9ab40bcccfa6f6cb0f988c11e5b7f80e13d2ac97bf792a6654c139b7d5 19341 proofgeneral_4.2~pre120206-1.debian.tar.gz 612caa6886f6ea8ba430fc2a331bfcf18b69bc944e1d111b206472da521697b8 430074 proofgeneral_4.2~pre120206-1_all.deb f38f3884854ab5f246e1dd1ff282d7f8238d016842303f71384553a2e4917622 676030 proofgeneral-doc_4.2~pre120206-1_all.deb Files: b0c76e5489275e6783a7a48eb4b531db 1959 editors optional proofgeneral_4.2~pre120206-1.dsc 6d582b949f37b6a65ed3e656450f7021 952848 editors optional proofgeneral_4.2~pre120206.orig.tar.gz 0839232ed8e1326a73dbcc6eaca24f52 19341 editors optional proofgeneral_4.2~pre120206-1.debian.tar.gz 0468f57e747f765a2b2b0d283704a4d1 430074 editors optional proofgeneral_4.2~pre120206-1_all.deb b6dd6a7744d94bf7b3238725bb85d9ef 676030 doc optional proofgeneral-doc_4.2~pre120206-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJPTTKzAAoJEHhT2k1JiBrT59wQAIwoX6wO4rqhhUenOO9X51n1 DUeL6LBU/TuW8LcNPULUHQkqXWd73Zd71bRiI015ehM1kz/7kGwfruusDGwQupLy 88AnzbCEOFiDFzagfd+clMBasZVm/5jV4hGi5KsSM57gcEwAlMnEcJGQ6LI3MpOr Vnr3dVvlE7mrF/zBW37Bs6G/h6qX30lZboNiplVkXg/81BvBl01dR/91FgZGgFlA LHQ4Ja64u9BUbMAsbjf/EqFx1hMcnWfUvARTSDkZFOr6z4FHWtvh+ChcSrUeKLlV cRZzmZsVywjJAGI/1W4PA6YpdS1N+eVjIaefnoZVG6r1MI2jeDerxu78uJV/j8LD dfsDrRipCCqmRQqN7zcCTuMb/rpfp2Oqlt6rAYxZlTGEs5LktsGVdhLa/dFS84Sj 29+GGm+RNROu3zCzV3x3wUZB7/f0xnnssBmvLNlcVN5c7VlebCcOHG/sRXvqCycU O0IOprD4aioKmgjg6KLuph5/MeC1quA2WStWivw+oq4BD/bVpGCXFDbup7MoCFKe 19YlL7S6QrDI7exbKHMs+ULAzvABcxG3XSWEMr1vxWjCcZ0ElNatOA6qkBKHOGL5 3ony28U7MlnuMlCye7C8rtMfgMNzfoumtXPAQq8K1FocVzDZfTai+8scTOq92cfm 8t7PmcWS8uOKJCxNvrCg =fOV1 -END PGP SIGNATURE- Accepted: proofgeneral-doc_4.2~pre120206-1_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120206-1_all.deb proofgeneral_4.2~pre120206-1.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120206-1.debian.tar.gz proofgeneral_4.2~pre120206-1.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120206-1.dsc proofgeneral_4.2~pre120206-1_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120206-1_all.deb proofgeneral_4.2~pre120206.orig.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120206.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1s2ukw-xh...@franck.debian.org
Accepted otags 3.12.2-1 (source amd64)
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Mon, 06 Feb 2012 15:35:29 +0100
Source: otags
Binary: otags
Architecture: source amd64
Version: 3.12.2-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers debian-ocaml-ma...@lists.debian.org
Changed-By: Hendrik Tews hend...@askra.de
Description:
otags - tags file generator for OCaml
Changes:
otags (3.12.2-1) unstable; urgency=low
.
* Imported Upstream version 3.12.2
(which is actually a complete rewrite)
* update packaging for new upstream version
* DEP-5 compatible debian/copyright
* debhelper compat level 8
* change update-otags output to /var/lib/otags/{TAGS,tags}
* followed various packaging suggestions from Stéphane Glondu
* add myself to Uploaders
Checksums-Sha1:
fe14c354f02d6da45190788e1cf541e3f00125aa 2113 otags_3.12.2-1.dsc
44edca0c3801ff104b72c2bb30b78c8551726a52 66734 otags_3.12.2.orig.tar.gz
a31e1b29196176d16d1a3a2634473c99eefb19c8 4489 otags_3.12.2-1.debian.tar.gz
60cf687d9528a6fb808d9f891b7f044f2b5a3412 916376 otags_3.12.2-1_amd64.deb
Checksums-Sha256:
224d7d40d564ee231993965e29075e0b3a8e4c53d327c7181fba9cf15826d064 2113
otags_3.12.2-1.dsc
bd1d3b8256990760b704900f8e1a4d0cc00e51b034eef180a349b2e0b30742d7 66734
otags_3.12.2.orig.tar.gz
d58bdd732ce808bc329da68214d25eb29fecba06634924b7ce2f28eb633c9e8c 4489
otags_3.12.2-1.debian.tar.gz
f62ab95277f7451cce9e4ee4463f0a896f2a20f61fc3a5401ff7aa1e527ff768 916376
otags_3.12.2-1_amd64.deb
Files:
9b881e43759c6b375430b4a047bf3db7 2113 ocaml optional otags_3.12.2-1.dsc
8d24eda2e174bfd1ea3ec294ccd230ce 66734 ocaml optional otags_3.12.2.orig.tar.gz
4d01f68e9100924729d3ff0943fdcf84 4489 ocaml optional
otags_3.12.2-1.debian.tar.gz
a083a97f3352c996151e346c28e206be 916376 ocaml optional otags_3.12.2-1_amd64.deb
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPMDQUAAoJEHhT2k1JiBrTlHIP/iI/nm8aMELOPW3/UrBzu3aR
NC3Eo7bq8U8KC1nNvkGDo4XVza+GvbkVS3HmstPFx+UphQ4a4zpusPJFWhdGvb4Y
e3XqFeRIpXsEyeXRFVS5vsYdgcuL1srZ0w/FfjDapnNWai6ma7WQIetDq/UcW3DO
UJ57POCdZBp0DURtV65x1r+rFjHFo2kRVYtq7CblUso/fvvR3gY6FLfosKmx1O+Y
bGixUo6Yrv1ijegpim4ZlrXDyn/ksbXpYq2PXtBzOaeu/LoWzSvnPG1ZkchfXy4V
U/CWZZXskq7Leq9hJnRi+5gTXcOvvWyRzeDxYsYWt59WNxuG42jlx0pDyTj1d0m5
ZMNzrMTlD8bULFLMVxcv8RlfFA8drU7GSDFNu/hEhgfE8GhOJIhYLVfzmb4u9GZ6
5upkjNy+QTbpAahsu2XmsTU8uhrkGjZMKM2WmkxrtsA5+dnzclAeFj6HfrYZDddf
Er8zSeiwQ+0R1smWlARwHHLI708zZ/K6VuL9azTHo0/ifOz3hTGtJnQJ/vJs7ab7
eml/uaAe616jHbZYCyUlSwC5aowuGzbOvLpM1YH43ybFC747Ab/ZzZA+x3c/jOAH
PzzrhAB2Bxbq3/Ngsc6dis0t2Ciw6YaRxS29mpZNALf7RyaKVUNcWiKaPmM4U/Fc
6dAOzZIPIru1WEPJPhq6
=yciw
-END PGP SIGNATURE-
Accepted:
otags_3.12.2-1.debian.tar.gz
to main/o/otags/otags_3.12.2-1.debian.tar.gz
otags_3.12.2-1.dsc
to main/o/otags/otags_3.12.2-1.dsc
otags_3.12.2-1_amd64.deb
to main/o/otags/otags_3.12.2-1_amd64.deb
otags_3.12.2.orig.tar.gz
to main/o/otags/otags_3.12.2.orig.tar.gz
--
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1ruvwe-0005hy...@franck.debian.org
Accepted proofgeneral 4.2~pre120112-1 (source all)
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 12 Jan 2012 21:15:51 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120112-1 Distribution: unstable Urgency: low Maintainer: Hendrik Tews hend...@askra.de Changed-By: Hendrik Tews hend...@askra.de Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 252721 452824 520566 554263 613779 626589 Changes: proofgeneral (4.2~pre120112-1) unstable; urgency=low . * adopting proofgeneral (Closes: #554263) * restart packaging from scratch (Closes: #626589) This new Proof General package has not much in common with the old one: - source package format 3.0 (quilt) - only two binary packages: proofgeneral and proofgeneral-doc - no support for Isabelle/Hol or Isar, because Isabelle is packaged with its own custom version of Proof General (Closes: #252721) - no support for minlog because it is not present upstream (Closes: #613779) - support only Coq and PhoX - no debconf, proofgeneral is always installed site-wide (Closes: #452824) - only support emacs23, because upstream only supports emacs23 (Closes: #520566) The old changelog file is appended below. Checksums-Sha1: 4e21c2363c6a2f8fbc1e1ae186446e225f702b67 1959 proofgeneral_4.2~pre120112-1.dsc db08bd955247dbe2375c8c45008b9248f9c88e0c 942334 proofgeneral_4.2~pre120112.orig.tar.gz 2261d2ad51460fe101d302dfac9fb34a92e46241 18685 proofgeneral_4.2~pre120112-1.debian.tar.gz bc16f4d7ccece0de53add1e117dfab22ecea3414 446116 proofgeneral_4.2~pre120112-1_all.deb 2b5ea2476e75dd46325c74cb3cdc6a28c215b72b 675826 proofgeneral-doc_4.2~pre120112-1_all.deb Checksums-Sha256: 0bd78c12990414b6457f88b9fc73ed396028e92edb2fb3fec9ce3a945fdff07d 1959 proofgeneral_4.2~pre120112-1.dsc 33774795c586bf5df8308e46400d19713aeb03fef9e8d26f2b7a22e4a16fda8e 942334 proofgeneral_4.2~pre120112.orig.tar.gz 32bf850a473f88f97e35e1e305bb2e34816e686de4685246efd3819bf18b9fb1 18685 proofgeneral_4.2~pre120112-1.debian.tar.gz 612dc5585545f89b88a8ca83efab694240a9c8ebbc1578f0b6c1c7aeaff76c51 446116 proofgeneral_4.2~pre120112-1_all.deb 0ddb23a2c172f2a10df34b5f0417ec02e47a6ce4ed28259061d2c87f15d8b764 675826 proofgeneral-doc_4.2~pre120112-1_all.deb Files: 5a5fe5c8b0f1abb72f816dc65db4ff43 1959 science optional proofgeneral_4.2~pre120112-1.dsc dd01a5c2b1c53dc4ee099c01a018c188 942334 science optional proofgeneral_4.2~pre120112.orig.tar.gz 0cb4cfa7fa9982e43c892a235c075a8d 18685 science optional proofgeneral_4.2~pre120112-1.debian.tar.gz 5b767a119e85ffdac5e5763892630bba 446116 science optional proofgeneral_4.2~pre120112-1_all.deb f0ee4c616a9f4e24f2d1f76bc975c338 675826 doc optional proofgeneral-doc_4.2~pre120112-1_all.deb -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJPD+amAAoJEHhT2k1JiBrTlP8P/RC5ImjNB1WJhs1SuiXzkMz3 +/6sqxNGntql8DOekacMdwPbFHi9Fr1FKVNgAKUL0OLyGeBRRmJSdxkoUpWHFvnC mwTvmCGr9gzsiSTUQeILd4pCEM6/uZdeLBLGwJqpP04IUZv+RkkP8CJYTSQWZ4g1 16czWJmUB/W6GyJqpzS7iZGucTtRjIRrCqI4CxOzH9eOf82PAYypoaAsjyRxpkU5 PQgFeRVzBxcxZPNVeXPyUN/HVt0Vr8CXSgoTCWq4U9RJYJa2Nao+VxdBjj/pGtXa qfp8LKn9gnGaHKlb3L5NHCn/8AlxiSs5oHWvkDPAj5cYevU4hXSjxNrjDFUKTmvU aJTnDksLt1TbB+aWFj+/CrXh0DfZTEozh3F7BzzbbpJG+oAzb8SXe6URG1+6Gici eXH7SZ9JfEnKTpy2ZJE2Nz7r8D507R+/HRV3a68spX1D/TS3H4/HmN5IHfZ7G1gg 1Gt0S08d59rYnUn9ABjdACA6LgpSdGt+zI4oHN/L1pFSWkcTGEnTaHN+nQq+OdWp rfGNyA52EmrqZei+MQThQ6Zp1EVKFE7eZXEf7a6bu8Md3PL4k17yWqvtRzs77swr 4J1ciaMAWT51Wmyrmx+lEuuY0SDNAenWcIEwVqqacgW9jW7cNhcRrC23gdZ7WG7s bWrTDaQLXV6udgXfQHlO =dDS+ -END PGP SIGNATURE- Accepted: proofgeneral-doc_4.2~pre120112-1_all.deb to main/p/proofgeneral/proofgeneral-doc_4.2~pre120112-1_all.deb proofgeneral_4.2~pre120112-1.debian.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120112-1.debian.tar.gz proofgeneral_4.2~pre120112-1.dsc to main/p/proofgeneral/proofgeneral_4.2~pre120112-1.dsc proofgeneral_4.2~pre120112-1_all.deb to main/p/proofgeneral/proofgeneral_4.2~pre120112-1_all.deb proofgeneral_4.2~pre120112.orig.tar.gz to main/p/proofgeneral/proofgeneral_4.2~pre120112.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1rlctl-0003uj...@franck.debian.org
