Author: Daniil Baturin
Use Z3 prover for firewall validation checking?
Now that I think of it, instead of checking specifically firewall (or something else) validation, we could try to make the config generation part as declarative...
The post categories:
Uncategorized
Web server and primary mirror outage
The web server (www.vyos.net) and the primary mirror site (mirror.vyos.net/packages.vyos.net) are inaccessible due to emergency maintenance their hoster has to ...
Maintenance notification: the web server
What The web server (the one that runs the wiki, the forum, and the bugtracker). When Today, in brief periods Why Software upgrade If you notice that some of Vy...
Mirroring dev.packages.vyos.net
Now you can mirror dev.packages.vyos.net too (use rsync://packages.vyos.net/vyos-dev URL). Once some mirrors are ready, we’ll include them in the list on the wi...
The post categories:
Uncategorized
New mirror in Melbourne, Australia
RackCentral set up a new mirror in Melbourne, Australia. It’s now included in the mirror list on the wiki and in the mirror director.
The post categories:
Uncategorized
VyOS to be rewritten in VisualBasic.Net
Many people were excited to hear that the core of the .Net framework is is now open source.
1.1.5 maintenance release
1.1.5 release is available for download (mirrors will pick it up soon).
