[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
branch master updated (8f82110 -> 303690c)
From: |
julien lepiller |
Subject: |
branch master updated (8f82110 -> 303690c) |
Date: |
Sat, 29 Jul 2017 09:20:14 -0400 (EDT) |
roptat pushed a change to branch master
in repository guix.
from 8f82110 gnu: gnupg: Update to 2.1.22.
new d163d97 gnu: Add coq-flocq.
new 88191ac gnu: Add coq-gappa.
new 380c65d gnu: Add coq-mathcomp.
new b09c424 gnu: Add coq-coquelicot.
new 303690c gnu: Add coq-interval.
The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
gnu/packages/ocaml.scm | 238 +++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 238 insertions(+)
- branch master updated (8f82110 -> 303690c),
julien lepiller <=
- 01/05: gnu: Add coq-flocq., julien lepiller, 2017/07/29
- 02/05: gnu: Add coq-gappa., julien lepiller, 2017/07/29
- 04/05: gnu: Add coq-coquelicot., julien lepiller, 2017/07/29
- 05/05: gnu: Add coq-interval., julien lepiller, 2017/07/29
- 03/05: gnu: Add coq-mathcomp., julien lepiller, 2017/07/29