Back to lambda-term PTS page

Accepted lambda-term 1.9-2 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 12 Feb 2016 21:58:26 +0100
Source: lambda-term
Binary: liblambda-term-ocaml-dev liblambda-term-ocaml
Architecture: source
Version: 1.9-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Hilko Bengen <bengen@debian.org>
Description:
 liblambda-term-ocaml - terminal manipulation library for OCaml (runtime)
 liblambda-term-ocaml-dev - terminal manipulation library for OCaml (development tools)
Changes:
 lambda-term (1.9-2) unstable; urgency=medium
 .
   * Fix Make syntax in debian/rules which caused FTBFS on bytecode
     architectures
Checksums-Sha1:
 549e22982a6c422d31ca8b327069bdfe47812567 2259 lambda-term_1.9-2.dsc
 12b524c41a312cbcf1171c2aaa47d555abe9b390 2720 lambda-term_1.9-2.debian.tar.xz
Checksums-Sha256:
 b392548b0619cffb6e95b4bc9fe5977cd2197d9c99e69ae0d2fc22d1d8577d79 2259 lambda-term_1.9-2.dsc
 3bc9f5c106271c23337319fb7bd125a845579720c76bbf80c00005424c990509 2720 lambda-term_1.9-2.debian.tar.xz
Files:
 23e5953d0cd341c10b93ab8299f63053 2259 ocaml optional lambda-term_1.9-2.dsc
 41cef01bb96898aa37ca9f6094637b32 2720 ocaml optional lambda-term_1.9-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWvke0AAoJEHW3EGNcITp+hBgP/j9ca0Zho3e2VNt7n0Ett2OM
yDECqWhJfY8B4DRVOxjlthEG7rowG3nf6Wbbl1pBz4HaU4f6TOb68PA5obDpqsf6
TGiI51V+VXf+DLZZw0PMzEXVwWM8p0AMzwz+bPxyR4eYm3moKNMeojnHb8QOGqvl
iyEdciCqmsbTPiyBIkJ0gP9aAePJwMr9lLtXKubruFy1cYz428whNCMLOivNK1Yj
1P9ILRuGWaNfI+DA6bkBdT387w/7jILVUYwU+fjXBjjDJpvVRrjOP4+GrlADG0Vz
tiNosp0D/dBeOYC48KibMeD0l1uilke0MM2GJmdGdICUtnUC4pWsm5KcDqUtL99k
Mn0HjTA2QIEIsCjqajA3d94O1+B93r0Et9vrmI94tMcOY41QJxzUUZEcNJVxGw8d
YOI10w11Ydd48D0wboWDOLMFeIYqxAPqnL/x5G9FotpkwMjO2NXzN+EHKFAsb+6/
CDC0xETDDXOvrpS8Z9/cYaaEUW880BfkYSrvdzAOAKD5ArH1HtVFUVMdhrkKRTeN
oPD6ob1TYGvWwAP1HTxGk33ieJ6UPVaQFslSUYYIAgvBtRjFe1OIIzfYXb6v5nU0
yc/8aRL2Y7/GEQyiWiaZZqECd2YS8p7/XZYH10g2Ze+WnvvIEZB84Udv35O8/CWu
EYTUQLC6BR7T6jvWRsZl
=j3IN
-----END PGP SIGNATURE-----