Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Routing/   (Archive of formal Proofs Version 2026-5©)  Datei vom 29.4.2026 mit Größe 301 B image not shown  

Quelle  ip-route-ex   Sprache: unbekannt

 
default via 10.13.42.161 dev ewlan  src 10.13.42.162  metric 303 
10.13.37.0/24 via 255.255.255.0 dev tun0 
10.13.42.160/28 dev ewlan  proto kernel  scope link  src 10.13.42.162  metric 303 
10.13.44.0/24 via 255.255.255.0 dev tun0 
255.255.255.0 dev tun0  proto kernel  scope link  src 10.13.37.210 

[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-09-03]