Bug#760211: on some archs, a library using Task_Attributes needs -lpthread

To: Debian Bug Tracking System <760211@bugs.debian.org>
Subject: Bug#760211: on some archs, a library using Task_Attributes needs -lpthread
From: Nicolas Boulenguez <nicolas@debian.org>
Date: Sun, 4 Oct 2015 12:42:46 +0200
Message-id: <[🔎] 20151004104246.GA3370@pegase>
Reply-to: Nicolas Boulenguez <nicolas@debian.org>, 760211@bugs.debian.org

Package: gnat-4.9
Followup-For: Bug #760211
Control: reassign -1 gnat-5 5.2.1-21

Confirmed on kfreebsd-amd64.

Reply to: