From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ldv@altlinux.org>
Date: Tue, 8 Mar 2016 18:50:00 +0300
From: "Dmitry V. Levin" <ldv@altlinux.org>
To: ALT Linux Team development discussions <devel@lists.altlinux.org>
Message-ID: <20160308155000.GA15036@altlinux.org>
Mail-Followup-To: ALT Linux Team development discussions
 <devel@lists.altlinux.org>
References: <20160213233540.GA31448@dad.imath.kiev.ua>
 <CACAYGhuGguwoqr6+zo6TAaMEreF2yoptid-k95egfHMA6iOJBA@mail.gmail.com>
 <20160304165221.GA16723@dad.imath.kiev.ua>
 <20160304202656.6d567d6b@sem.office.altlinux.ru>
 <20160304173359.GA17181@dad.imath.kiev.ua>
 <20160304204317.3e7ae861@sem.office.altlinux.ru>
 <20160304175053.GA17464@dad.imath.kiev.ua>
 <20160304211554.5e728fb9@sem.office.altlinux.ru>
 <20160304183928.GA18604@dad.imath.kiev.ua>
 <alpine.LFD.2.20.1603081443430.19380@imap.altlinux.org>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=x-unknown;
 protocol="application/pgp-signature"; boundary="+HP7ph2BbKc20aGI"
Content-Disposition: inline
In-Reply-To: <alpine.LFD.2.20.1603081443430.19380@imap.altlinux.org>
Subject: Re: [devel] cvc4 FTBFS;  was: Re:  I: java grand leap is finished
X-BeenThere: devel@lists.altlinux.org
X-Mailman-Version: 2.1.12
Precedence: list
Reply-To: ALT Linux Team development discussions <devel@lists.altlinux.org>
List-Id: ALT Linux Team development discussions <devel.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/options/devel>,
 <mailto:devel-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/devel>
List-Post: <mailto:devel@lists.altlinux.org>
List-Help: <mailto:devel-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/devel>,
 <mailto:devel-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Tue, 08 Mar 2016 15:50:00 -0000
Archived-At: <http://lore.altlinux.org/devel/20160308155000.GA15036@altlinux.org/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@altlinux.org>


--+HP7ph2BbKc20aGI
Content-Type: text/plain; charset=koi8-r
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Tue, Mar 08, 2016 at 02:48:02PM +0300, Ivan Zakharyaschev wrote:
> =E4=CF=C2=D2=D9=CA =C4=C5=CE=D8!
>=20
> =EE=C5=D4 =CC=C9 =D3=CF=CF=C2=D2=C1=D6=C5=CE=C9=CA, =DE=D4=CF =C4=C5=CC=
=C1=D4=D8 =D3=20
> =CE=C5=D0=C5=D2=C5=D3=CF=C2=C9=D2=C1=C0=DD=C9=CD=D3=D1 cvc4?

=F0=C1=CB=C5=D4=D5 cvc4 =CE=D5=D6=C5=CE =CD=C1=CE=D4=C5=CA=CE=C5=D2.  =F0=
=CF=CB=C1 =C5=C7=CF =CE=C5=D4, =D0=C1=CB=C5=D4 =CD=CF=D6=CE=CF =D5=C4=C1=CC=
=C9=D4=D8
(=D7=CD=C5=D3=D4=C5 =D3 python-module-pysmt =C4=CC=D1 =DA=C1=CD=D9=CB=C1=CE=
=C9=D1 =D5=D3=D4=C1=CE=CF=D7=CB=C9 =C9 =D3=C2=CF=D2=CB=C9):
http://git.altlinux.org/tasks/161091/logs/events.1.1.log


--=20
ldv

--+HP7ph2BbKc20aGI
Content-Type: application/pgp-signature
Content-Disposition: inline

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

iQIcBAEBCAAGBQJW3vSoAAoJEAVFT+BVnCUI6O4P/3mGf/3MVpc4HDpr9Pei+Pp6
W/HKXR4LwQIbbgpfG4+RLEiEILKHjw4rwN/2LpDrrX4SA+yWkVSANdMUfcL9XrEB
8D/UHRbFYbl4IlBRN4PbCY+c8tKcvxT/5W6Ei5LhMXz3qwZgT3HYu4OMi+qq6M9X
IWikk8TDLnjlBiBW5QCjwXyEhQLn+kDzJSLFwxEFmI/7h6BMQRtr5qc5vwxY/Hbu
JF2UU5PTSA6YL4Xszfm2lM4MSzLTWvwcTQEjiTg+ot7/M4lvJWaun6GnJh+YcgVT
4azY7pp3Qj/K7MRBqHJHiNDtYfBXAwpq6uaDuoT021kq8U3IrgDqkVfdJgO5lx5m
yK5YRWisU8Z23GT447wBxokz2Nj3DRmyiAp4XqC7eUOmb1n2fYzw67GrWOfg9n3j
/Jvsl+r0WjJqYpzMzulsFAzcFepXWIdBKX9nnzz+z8pVWvOsUApRl3E3LfEOtwB7
bxb8NFv4khmNl3hKh026iejaxdu8reYdr0d2dO7cFIua/518lM62yBlqVcL0Gevw
Jn+EBoj4ojkwtq49WTuPB1OyAw2cLgM/gmtfGPYCP4HdFmrmyWY42WxE/0LvWJtM
HgTJ130ZDCD67alX4sVO7abkhfLKMD+2TMTPUJdj8yzhmlphDdzttPg6SFc636Fi
P2uiiNf4PZ/Shv2qgJJQ
=v+Bh
-----END PGP SIGNATURE-----

--+HP7ph2BbKc20aGI--