-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 14 Feb 2019 04:21:22 +0100
Source: alt-ergo
Architecture: source
Version: 2.0.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
alt-ergo (2.0.0-3) unstable; urgency=medium
.
* Install files directly without going through dh_install
* d/rules:
- drop setting of BUILD_DATE which is no longer useful
- drop inclusion of ocamlvars.mk which is no longer useful
Checksums-Sha1:
0fb3b111eac5258ee8b7d31a6b1feab7f0b0cada 2227 alt-ergo_2.0.0-3.dsc
c2b893cf42bc46a1c611fb9ed627a6c1857f0df7 6368 alt-ergo_2.0.0-3.debian.tar.xz
59b094a0ce920d70e91730e512112b5ddbcafcba 12409 alt-ergo_2.0.0-3_source.buildinfo
Checksums-Sha256:
1b7dd76179b56438324f584681ba56c0db6d59eac0145c9851b7be06c16cea8b 2227 alt-ergo_2.0.0-3.dsc
c85233473aaf6ef3c0aede003742b9ec2ba9e456d2449ff981d901a60702a818 6368 alt-ergo_2.0.0-3.debian.tar.xz
5f87f054a812e3148fdce69162e3832a555ba80cde5961d56ab289d2d3170b19 12409 alt-ergo_2.0.0-3_source.buildinfo
Files:
a81b55dbdfff85b1750ce38f98f8a757 2227 math optional alt-ergo_2.0.0-3.dsc
827b3fc42cae2600d21cc3b666146e41 6368 math optional alt-ergo_2.0.0-3.debian.tar.xz
2d4c5789e9b9b1029fe7cd0638261e7f 12409 math optional alt-ergo_2.0.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxk44MACgkQdFxHZtTK
zf8npxAAmwkP1NTP73o23wrlAqo0NaJduWZX09VhZvw0Ufqe5N6D0OAztqtXUJOt
TmNiEPLL70mRGGaoWV+BJbuqWeAIsUUJT6P5Mq+ArsQQAbhKjlB9sm17J4Y6iAoL
pnnlsjQx9PEh5FgzJ1EkN+hj8fG6Hksmhv5wcEn6gzgEJS9s7+tsM3qeyl24Zve7
DoFNcxJGmhuoypnoFNC92rJtRlVUpdzovgJhZcFoGym0UnPX8yyF3MFC+N6aA4Sa
ltiiIokDdRBTNEqcPC4+SZ9GKVQ3jgZD+H8kNVwfinLye+Uz50GL6U/EoTizUOJO
U3xE5dVZngXKRZNMu/MMxvqdiAnBUJaYrWdDGrNkSuxdOEeIOBHyF8NjEOrtaGOZ
lxNuxqhfitgTsC97NhbENMkq46dWgS+ktwQOPgeZcgskFYMMcF7vbxyUn011cqbo
AwhbSDlhL0iKjExKJw5fP7vGUZ+CCz5pSbmzSlydeMykt+a/WoMpXme+qsy+7ALy
cPPHaHS1Tu9KOCA8j6ZVcZdkEJ3vcAbzFSmLCfvVk+RFVaSvtg5vLZym+jEfXKeO
Mgx4PsqDfS8COzhPGHsT7kZ9s1hXfIAyhJKiGIIdLiulLVKmPxbgmtP8xYwaA6in
QJ2lzJ5gGoIizgxRWeSCZj3Xx+OAM6HVcMiOiNYCFowhKvbRq7w=
=jBAL
-----END PGP SIGNATURE-----
