diff options
| author | Gábor Boskovits <boskovits@gmail.com> | 2019-05-13 08:08:44 +0200 |
|---|---|---|
| committer | Gábor Boskovits <boskovits@gmail.com> | 2019-05-13 08:12:26 +0200 |
| commit | 70d23edf937fcf5435c9540b703db045f75b5ef2 (patch) | |
| tree | 3fcd04e26a6a8721c9cc4ad31d01db1c682d9d12 /gnu/packages/idris.scm | |
| parent | a430a3501a6d3a565cb78e04a8dbb3ab846ec5fc (diff) | |
| download | guix-70d23edf937fcf5435c9540b703db045f75b5ef2.tar.gz | |
gnu: openjdk11: Suppress internal in version.
* gnu/packages/java.scm (openjdk11)[configure-flags]: Add --with-version-pre= .
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions