bump Stack LTS to 7 - Githubissues

diekmann / Iptables_Semantics

Verified iptables Firewall Ruleset Analysis

http://iptables.isabelle.systems/

BSD 2-Clause "Simplified" License

96 stars 13 forks source link

bump Stack LTS to 7 #137

Closed larsrh closed 8 years ago