[debbugs-tracker] bug#27444: closed (coq libraries)

[GNU bug Tracking System]

Your message dated Sun, 30 Jul 2017 10:55:46 +0200
with message-id <address@hidden>
and subject line Re: [bug#27444] coq libraries
has caused the debbugs.gnu.org bug report #27444,
regarding coq libraries
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
27444: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=27444
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: coq libraries Date: Wed, 21 Jun 2017 21:45:39 +0200

Hi,

here are 5 coq libraries.

0001-gnu-Add-coq-flocq.patch
Description: Text Data

0002-gnu-Add-coq-gappa.patch
Description: Text Data

0003-gnu-Add-coq-mathcomp.patch
Description: Text Data

0004-gnu-Add-coq-coquelicot.patch
Description: Text Data

0005-gnu-Add-coq-interval.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#27444] coq libraries
>
>
>
>
> Date: 
>
> Sun, 30 Jul 2017 10:55:46 +0200
>
>
>
>
> Pushed as d163d97d92f3abea98f4b36d55ac3bb9db23d423 -
> 303690c405446d1eea231044f0bcb48b88b6508d
>
>
> --- End Message ---