Git-Mirrors/qubes-mirage-firewall
1
0
Fork 0
mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2024-12-28 08:39:34 -05:00
Code Issues Packages Projects Releases Wiki Activity

bump OCAML_VERSION to 4.08.1

Browse Source
This commit is contained in:
xaki23 2019-08-25 18:12:17 +02:00
parent b8a310dfa6
commit 3fefba21a7
No known key found for this signature in database
GPG Key ID: C6C39B177E1A717C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile.builder
View File

@ -1,2 +1,2 @@
MIRAGE_KERNEL_NAME = qubes_firewall.xen
OCAML_VERSION ?= 4.08.0
OCAML_VERSION ?= 4.08.1