Source Mage code commit list

[Florian Franzmann <scm AT sourcemage.org>]

GIT changes to master grimoire by Florian Franzmann 
<siflfran AT hawo.stw.uni-erlangen.de>:

 devel/ocaml/DETAILS                                           |    4 ++--
 devel/ocaml/HISTORY                                           |    3 +++
 kernels/linux/HISTORY                                         |    4 ++++
 kernels/linux/info/patches/maintenance_patches_4/patch-4.11.7 |    5 +++++
 kernels/linux/latest.defaults                                 |    2 +-
 5 files changed, 15 insertions(+), 3 deletions(-)

New commits:
commit 7736d147a10044a61247fe3f09e4776d00553a89
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

    devel/ocaml: version 4.04.2

commit f154d3c0195c98f9533a59fd94d0f0cbe7660996
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

    kernels/linux: version 4.11.7

diff --git a/devel/ocaml/DETAILS b/devel/ocaml/DETAILS
index 2fd64ce..9daf35e 100755
--- a/devel/ocaml/DETAILS
+++ b/devel/ocaml/DETAILS
@@ -1,6 +1,6 @@
            SPELL=ocaml
-         VERSION=4.03.0
-     
SOURCE_HASH=sha512:9a7f4b17d459373334fb04f8a0d42732243245bf16bc35c935fb2119c7990d0c85549b2e11adea68a98a0a0171a461ccfbb2e249b59eedf90349f087a18ce243
+         VERSION=4.04.2
+     
SOURCE_HASH=sha512:0449f650388fe63e1f96c6f63d994855cf76bac5b52d3f76e781c8d9f5fddb657a24a88063c1280d45ccc741c372085bad46cdb3dbc186e1861627d500290629
           SOURCE=$SPELL-$VERSION.tar.xz
 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-${VERSION%pl*}
    
SOURCE_URL[0]=http://caml.inria.fr/pub/distrib/$SPELL-${VERSION:0:4}/$SOURCE
diff --git a/devel/ocaml/HISTORY b/devel/ocaml/HISTORY
index 7226a23..f1574f0 100644
--- a/devel/ocaml/HISTORY
+++ b/devel/ocaml/HISTORY
@@ -1,3 +1,6 @@
+2017-06-25 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * DETAILS: version 4.04.2
+
 2016-11-05 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
        * DETAILS: version 4.03.0
 
diff --git a/kernels/linux/HISTORY b/kernels/linux/HISTORY
index af69645..0cdecc1 100644
--- a/kernels/linux/HISTORY
+++ b/kernels/linux/HISTORY
@@ -1,3 +1,7 @@
+2017-06-25 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * latest.defaults: LATEST_maintenance_patches_4=patch-4.11.7
+       * info/patches/maintenance_patches_4/patch-4.11.7: added
+
 2017-06-17 Pavel Vinogradov <public AT sourcemage.org>
        * latest.defaults: LATEST_maintenance_patches_4=patch-4.11.6
        * info/patches/maintenance_patches_4/patch-4.11.6: added
diff --git a/kernels/linux/info/patches/maintenance_patches_4/patch-4.11.7 
b/kernels/linux/info/patches/maintenance_patches_4/patch-4.11.7
new file mode 100755
index 0000000..24a1f5a
--- /dev/null
+++ b/kernels/linux/info/patches/maintenance_patches_4/patch-4.11.7
@@ -0,0 +1,5 @@
+appliedkernels="4.11"
+patchversion="${appliedkernels}.7"
+source="patch-${patchversion}.xz"
+source_url="${KERNEL_URL}/pub/linux/kernel/v4.x/${source}"
+sha1sum="2e24c44bcc489064c3db20357cc3e08db45ad952"
diff --git a/kernels/linux/latest.defaults b/kernels/linux/latest.defaults
index d95f485..1aa36af 100644
--- a/kernels/linux/latest.defaults
+++ b/kernels/linux/latest.defaults
@@ -4,7 +4,7 @@ LATEST_2_6=2.6.39
 LATEST_PRE_2_6=patch-2.6.39
 LATEST_maintenance_patches=patch-2.6.39.4
 LATEST_maintenance_patches_3=patch-3.19.3
-LATEST_maintenance_patches_4=patch-4.11.6
+LATEST_maintenance_patches_4=patch-4.11.7
 LATEST_git_patches=patch-2.6.25-rc6-git7
 LATEST_2_4=2.4.37.9
 LATEST_PRE_2_4=patch-2.4.33-pre1