diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-06 18:40:56 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-06-07 18:36:02 +0200 |
| commit | b92660afa4df47c2ce5d15a342fcb0110ccdbb48 (patch) | |
| tree | 404ddb2c3aab6e31d765e36aa5affed6d6c1c9d1 /gnu/services/security-token.scm | |
| parent | a0f352b30f4869a7af7017b8a5011ac7602dd115 (diff) | |
| download | patches-b92660afa4df47c2ce5d15a342fcb0110ccdbb48.tar patches-b92660afa4df47c2ce5d15a342fcb0110ccdbb48.tar.gz | |
gnu: coq: Update to 8.9.1.
* gnu/packages/coq.scm (coq): Update to 8.9.1.
Diffstat (limited to 'gnu/services/security-token.scm')
0 files changed, 0 insertions, 0 deletions