Bug#751074: seyon: Conflicting declarations of function DismissDirectory to shadow risk of undefined behaviour

2014-06-09 Thread Michael Tautschnig
Package: seyon Version: 2.20c-31 Severity: minor Usertags: goto-cc During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found: The definition of DismissDirectory requires two arguments (even though the second

Rappel : conférence exceptionnelle à Paris ce mercredi 11 juin

2014-06-09 Thread OEF
Se désinscrire de la liste: http://link.email.wib.me/u/443/34c736dc438d773f46336dedbd279efc97e2fc21d2b1

argyll_1.5.1-8_amd64.changes ACCEPTED into unstable

2014-06-09 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 09 Jun 2014 12:52:11 +0100 Source: argyll Binary: argyll argyll-dbg icc-utils libicc-dev libicc2 libimdi-dev libimdi0 Architecture: source amd64 Version: 1.5.1-8 Distribution: unstable Urgency: medium Maintainer: D

Processing of argyll_1.5.1-8_amd64.changes

2014-06-09 Thread Debian FTP Masters
argyll_1.5.1-8_amd64.changes uploaded successfully to localhost along with the files: libicc2_2.12+argyll1.5.1-8_amd64.deb libicc-dev_2.12+argyll1.5.1-8_amd64.deb argyll_1.5.1-8_amd64.deb argyll-dbg_1.5.1-8_amd64.deb icc-utils_1.5.1-8_amd64.deb libimdi-dev_1.5.1-8_amd64.deb libimdi0_1