diff options
| author | Rutger Helling <rhelling@mykolab.com> | 2019-05-26 10:13:40 +0200 |
|---|---|---|
| committer | Rutger Helling <rhelling@mykolab.com> | 2019-05-26 10:15:21 +0200 |
| commit | 9c11ba9282d37d7a6790e3a6f9bbe273d51a882a (patch) | |
| tree | eda7b3f4b1c05779758897786f56b6ea91cbad7e /gnu/packages/coq.scm | |
| parent | d21c68ac46702c2e249cc644c12839670b1c9d30 (diff) | |
| download | patches-9c11ba9282d37d7a6790e3a6f9bbe273d51a882a.tar patches-9c11ba9282d37d7a6790e3a6f9bbe273d51a882a.tar.gz | |
gnu: mgba: Update to 0.7.2.
* gnu/packages/emulators.scm (mgba): Update to 0.7.2.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions