ssreflect (1.5-3build2) xenial; urgency=medium * Rebuild for new OCaml ABIs.
Date: Fri, 12 Feb 2016 12:05:33 +0000 Changed-By: Matthias Klose <d...@ubuntu.com> Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> https://launchpad.net/ubuntu/+source/ssreflect/1.5-3build2
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 12 Feb 2016 12:05:33 +0000 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source Version: 1.5-3build2 Distribution: xenial Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Matthias Klose <d...@ubuntu.com> Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files) Changes: ssreflect (1.5-3build2) xenial; urgency=medium . * Rebuild for new OCaml ABIs. Checksums-Sha1: 86288ca840080093bb6d46360397cf65d61b7078 2259 ssreflect_1.5-3build2.dsc 76f22d4ae6a6c5c42ba301eb3ff69caee639d58e 11624 ssreflect_1.5-3build2.debian.tar.xz Checksums-Sha256: d7305448e3715dc7dcf5e35e7edb9538fe719a511192c9bfae71007a9a0357a6 2259 ssreflect_1.5-3build2.dsc fed35c69f4b17b482bfd3577ee6a6b37850838c3c05ef4d5607440f46608c188 11624 ssreflect_1.5-3build2.debian.tar.xz Files: 7f8a74c160de2a702b8a784cf77164ac 2259 math optional ssreflect_1.5-3build2.dsc 624ef2e85f23545af2f833cb1116b92d 11624 math optional ssreflect_1.5-3build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWvcsXAAoJEL1+qmB3j6b1Vk4P/0d/86A3uHCH9oqz7FucO9WU knctevot34XeinpUHI66W9BfBprcj933pajFAtPeoj8WHuvB7TbJzOZr4ha+e6HR cCnKRD5f1dUsIZvkrL5duc4mt09U1ky8k5UUyMfSXMc004KrUGBdwYLrvphRLuds fmiFr8ZY9K+hvW0wFT0o192iMm5ZRjKtxNcXe81AZ5ijCfU6mZMj/aqVY8KrghnL nbV2WW0Tl22NphXYl9oY9k8HBJNa39DSkImwQodNbhu9ZBtsOyngLcxOd/KmHR0f 6nZ/hpR2rVBrZTkKk6SNCbcZUD6syl6ZOw8Z0/jnUPQPW2A81029HDgyJ2HSVLRJ sL7Kna8Vs2LI7MrohMAwOYtb9vOmBp3Wijy9Tf25R/wIBEMIlsBXVw+FJMXukEqs 2XGn2yJPoEhiRBL9RuQ+V8bNC5cNkC+YZ71IFuHq+UBUmp8f2pFskoMj2k3VJ+uh B64gyE9DIUl/P110NXuogq3mTaGcBTF07nkZ21nrPCIn7WqH7T06iYbHd6xYVdkH p9CjHy9YeBS/SI/P8gls8HIkpharXL8yHKkmR7GLE5Ndg/knIWmEoSWWYUq6u4Kq ERnfqN7NbEx20sf/1StyB3TqCvuhzc4v2APHyAeAyi/jiXwHwP/HQY3+aMaeHTS6 s0X3hbIleh3Ri1xuQDia =bkim -----END PGP SIGNATURE-----
-- Xenial-changes mailing list Xenial-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/xenial-changes