diff options
| author | Yureka <yuka@yuka.dev> | 2022-10-10 10:57:19 +0200 |
|---|---|---|
| committer | Yureka <yuka@yuka.dev> | 2022-10-12 20:28:59 +0200 |
| commit | 50ecf779c9804b34332f7ea5fcdc55f85fe1a9d6 (patch) | |
| tree | 0b631706a87434f68993cfe2f5c4c78dc0e6596b /pkgs/development/coq-modules/coq-elpi/default.nix | |
| parent | 8886c89d0eff3a192ed9f98a13849f76e73c5073 (diff) | |
| download | nixpkgs-50ecf779c9804b34332f7ea5fcdc55f85fe1a9d6.tar nixpkgs-50ecf779c9804b34332f7ea5fcdc55f85fe1a9d6.tar.gz nixpkgs-50ecf779c9804b34332f7ea5fcdc55f85fe1a9d6.tar.bz2 nixpkgs-50ecf779c9804b34332f7ea5fcdc55f85fe1a9d6.tar.lz nixpkgs-50ecf779c9804b34332f7ea5fcdc55f85fe1a9d6.tar.xz nixpkgs-50ecf779c9804b34332f7ea5fcdc55f85fe1a9d6.tar.zst nixpkgs-50ecf779c9804b34332f7ea5fcdc55f85fe1a9d6.zip | |
pkgsMusl.jdk: fix build
Diffstat (limited to 'pkgs/development/coq-modules/coq-elpi/default.nix')
0 files changed, 0 insertions, 0 deletions