Bug#810129: linux-source-4.3 and linux-grsec-source-4.3: error when trying to install together

2016-01-06 Thread Ralf Treinen
Package: linux-grsec-source-4.3,linux-source-4.3 Version: linux-grsec-source-4.3/4.3.3-5+grsec201512282134+1 Version: linux-source-4.3/4.3.3-5 Severity: serious User: trei...@debian.org Usertags: edos-file-overwrite Date: 2016-01-06 Architecture: amd64 Distribution: sid Hi, automatic installatio

Bug#496120: linux-modules-extra-2.6: build-dependencies not satisfiable an amd64 sid+testing

2008-08-22 Thread Ralf Treinen
Package: linux-modules-extra-2.6 Version: 2.6.25-5 Severity: serious The build-dependencies cannot be satisfied on amd64 even by taking sid and testing binary packages together : linux-modules-extra-2.6 (= 2.6.25-5): FAILED The following constraints cannot be satisfied: linux-modules-extra-2.6

Re: removal of svenl from the project

2006-03-15 Thread Ralf Treinen
f that team, and for a long time among the most active and productive members. Every time I had the occassion to collaborate with him discussions were constructive and fruitful. -Ralf. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École Normale Supérieure de Cachan, INRIA Futurs