1
0
0
News
tkoskine / Ahven / source – Bitbucket
hg.io
From Reto Buerki. Bugs fixed * Fix contraint_error when one tries Bug report and patch from Reto Buerki. (Bug bitbucket#1) * xml_runner now ...
Telephone & Addresses
local.ch Directory: reto buerki - 3 results on local.ch
3 results for reto buerki reto buerki - 3 results on local.ch. Print · With map · Without map. All Entries Private (3) Business (0) ...
Network Profiles
Lintian Report for Reto Buerki
people.ubuntuwire.org
Reto Buerki. At the time of the last Lintian run, the following no-symbols-control-file.
usr/lib/libahven.so.21.0; usr/lib/libahven.so shlib-with-executable-stack.
usr/lib/libahven.so.21.0; usr/lib/libahven.so
Projects
rdesktop / Patches / #83 Smart Card Support for RDesktop
sourceforge.net
Smart Card Support for RDesktop Use PC/SC Lite But I found that Alon Bar-Lev and Reto Buerki have problems with their smart-cards and log shows ...
PCSC/Ada - Summary [Savannah]
savannah.nongnu.org
Savannah is a central point for development, distribution
and maintenance of free software, both GNU and non-GNU.
Bochs x86 PC emulator / Re: [Bochs-developers] Inject ...sourceforge.net › bochs › mailman › message
sourceforge.net
How would you define the command interface ? What Bochs CPU would do ? Stanislav Original Message From: Reto Buerki [mailto:reet@...] Sent: Friday ...
Trusted Key Manager for IKEv2 - GAP Member Projects - Adacore
www.adacore.com
Trusted Key Manager for IKEv Reto Buerki and Adrian-Ken Rueegsegger from the University of Applied Sciences in Rapperswil have proposed a component-based ...
Books & Literature
Reto Buerki
m0n0.ch
Messages from Reto Buerki. LDAP over TLS: blocked packets that shouldn't be blocked ... Re: LDAP over TLS: blocked packets that shouldn't beblocked ...
Messages from Reto Buerki LDAP over TLS: blocked packets that ...
m0n0.ch
Messages from Reto Buerki. LDAP over TLS: blocked packets that shouldn't be blocked, [thread], Sep , 10:49 am ...
Related Documents
Are we there yet? - SPARK 2014
www.spark-2014.org
Are we there yet? 20 Years of industrial theorem proving with Spark July 15, ITP Florian Schanda ... Reto Buerki and Adrian-Ken Rueegsegger (both HSR
/usr/share/ada/adainclude/alog/alog-facilities-syslog.adb
www.apt-browse.org
Copyright (c) , -- Reto Buerki, Adrian-Ken Rueegsegger This file is part of Alog Alog is free software; you can redistribute it and/or modify -- it ...
About this document - Genode OS Framework Foundationsgenode.org › genode-foundations › introduction › Abo...
genode.org
... the thorough review by Adrian-Ken Rueegsegger and Reto Buerki, and several anonymous reviewers. Thanks to everyone who contributed to the effort, be it ...
Genode - Release notes for the Genode OS Framework
genode.org
Release notes for the Genode OS Framework This section was written by Adrian-Ken Rueegsegger and Reto Buerki who conducted the described line of work ...
Publications
Programming Unikernels in the Large via Functor Driven ...www.researchgate.net › publication › _Progra...
www.researchgate.net
Reto Buerki and Adrian-Ken Rueegsegger Muen: An x separation kernel for high assurance. (2013). https: //muen.sk/ Koen Claessen and John ...
Reports & Statements
Google Groups: bug# : debian-maintainers: please add reto buerki to debian ...
: reto buerki linux debian bugs dist package: debian-maintainers severity: normal please add reto buerki to debian ...
Google Groups: Freeze exception for opentoken 3.0b-8
: Reto Buerki linux debian devel release Hi, opentoken 3.0b-8 fixes # , it has been uploaded to unstable on
Google Groups: discriminant & interface not implemented by full type
: reto buerki comp lang ada per sandberg wrote: compiles fine with GNATPro per reto buerki wrote: hi everyone, i have the following ...
Bug# : marked as done (ITP: dbusada -- Ada bindings to the D-Bus...
lists.debian.org
Package: wnpp Severity: wishlist Owner: Reto Buerki BEGIN PGP SIGNED MESSAGE Hash: SHA1 * Package name :
Miscellaneous
'[rdesktop-devel] [ rdesktop-Patches ] Smart Card Support' -...
marc.info
But I found that Alon Bar-Lev and Reto Buerki have problems with their smart-cards and log shows excessive calls of SCardGetStatusChange.
Debian Package Tracking System - ahven
packages.qa.debian.org
[ ] Accepted in unstable (low) (Reto Buerki) bugs all 0 RC 0 I&N 0 M&W 0 F&P 0. links. homepage; changelog / copyright; buildd: logs, ports, checks, clang;
Lintian Reports by Maintainer
lintian.debian.org
Reto Buerki (full report) Reto Schuettel (full report) Ricardo Mones (full report) Riccardo Magliocchetti (full report) Riccardo Setti (full report)
DDPO: Reto Buerki -- Debian Quality Assurance
qa.debian.org
Debian Quality Assurance. Packages overview for Reto Buerki Maintainer: Reto Buerki -- Bugs: open - RC - all - submitted - WNPP-- Reports: Dashboard
git.codelabs.ch Git - ipcop/ipbill.git/summary
git.codelabs.ch
Reto Buerki - wrong char in tar command: commit | commitdiff | tree | snapshot: : Reto Buerki - new version structure: commit | commitdiff | tree | snapshot: :
pcscada-devel (thread)
lists.gnu.org
[Pcscada-devel] [Announce] PCSC/Ada version 0.5 released, Reto Buerki, [Prev Period] [Next Period] Mail converted by MHonArc
Lintian Report for Reto Buerki
lintian.debian.org
Reto Buerki. At the time of the last Lintian run, the following possible problems were found in packages maintained by Reto Buerki &>, listed by ...
PGP key statistics : Reto Buerki - reet.at.codelabs.ch
pgp.cs.uu.nl
PGP key statistics : Reto Buerki <reet.at.codelabs.ch - → see the same page on (experimental) pgp2.cs.uu.nl; using long key_ids's
Reto Buerki - Open Hub
www.openhub.net
Reto Buerki. Switzerland http://www.codelabs.ch . Account Summary Analyzed about 19 hours ago Projects Used. Most experienced in. Ada. First commit. about 8 years ago
Reto Buerki (reet-) - Libraries.iolibraries.io › github › reet-
libraries.io
Repositories created and contributed to by Reto Buerki (reet-)
reet- (Reto Buerki) - Phabricatorsecure.phabricator.com › reet-
secure.phabricator.com
reet- (Reto Buerki). User. Projects. User does not belong to any projects. Calendar. Today. Clear sailing ahead. Tomorrow. Clear sailing ahead. Friday.
'Reto Buerki ' posts - MARC
marc.info
Viewing messages posted by 'Reto Buerki <reet () codelabs ! ch>' (5 msg) [1] Bug# : ITP: anet -- Ada networking library debian-de 2.
Debian - Profile of Reto Buerki-3
debian.2.n7.nabble.com
Unregistered User. Groups: Anyone. Send Email to Reto Buerki Bug# : diff for NMU debian-bugs-rc.
Bug# : diff for NMU debian-bugs-dist.
LKML: Reto Buerki: Re: "core dump helper" runs always as root
lkml.org
Date, Fri, 18 Jul :01:53 + From, Reto Buerki <>. Subject, Re: "core dump helper" runs always as root ...
MuscleCard - Profile of Reto Buerki-3
musclecard.996296.n3.nabble.com
Reto Buerki-3. Reto Buerki-3 online. Unregistered User. Groups: Anyone. Send Email to Reto Buerki-3. Posts in MuscleCard. Show. All, Apps, Topics. Total:
Free Desktop - dbus - Profile of Reto Buerki-3
free-desktop-dbus.2324887.n4.nabble.com
Reto Buerki-3 online. Unregistered User. Groups: Anyone. Send Email to Reto Buerki-3. Posts in Free Desktop - dbus. Show. All, Apps, Topics. Total: 1 item ...
Package overview for Reto Buerki
debtags.debian.org
Distributions. Debian. Stable; Testing; Unstable. Ubuntu. Lucid; Maverick; Natty; Oneiric; Precise. This page shows the packages maintained by Reto Buerki.
Reto Bürki - Hotel Freienhof Thunwww.freienhof.ch › reto-buerki
www.freienhof.ch
... Career · Mietwohnungen und Gewerbefläche Freienhof · Partner · Order a voucher. Reto Bürki. Reto Buerki Reto Bürki, Geschäftsführer Bistro-Bar Ratsstübli ...
# dbusada: FTBFS: unsatisfiable build-dependencies: gnat-4.9,...
bugs.debian.org
Report forwarded to .org, Reto Buerki &>: Bug# ; Package src:dbusada. (Fri, 08 Jul :03:07 …
Related search requests for Reto Buerki
Adrian-Ken Rueegsegger Philipp Furrer Mathieu Plattner | Christof Kaufmann Minoru Karasawa |
People Forename "Reto" (1152) Name "Buerki" (17) |
sorted by relevance / date