diff options
author | Rick van Schijndel <Mindavi@users.noreply.github.com> | 2023-07-27 08:35:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-27 08:35:36 +0200 |
commit | f066c5e367cf2abdd560a247ae775198be94ede8 (patch) | |
tree | 49087ffef82e5be51bc8d9ae8f030a2330a87736 /pkgs/development/coq-modules | |
parent | d1b71a938764f85888caf31623c6a54386eed97b (diff) | |
parent | 4f976c2c4b448c3747548b34f029d322253b9733 (diff) | |
download | nixpkgs-f066c5e367cf2abdd560a247ae775198be94ede8.tar nixpkgs-f066c5e367cf2abdd560a247ae775198be94ede8.tar.gz nixpkgs-f066c5e367cf2abdd560a247ae775198be94ede8.tar.bz2 nixpkgs-f066c5e367cf2abdd560a247ae775198be94ede8.tar.lz nixpkgs-f066c5e367cf2abdd560a247ae775198be94ede8.tar.xz nixpkgs-f066c5e367cf2abdd560a247ae775198be94ede8.tar.zst nixpkgs-f066c5e367cf2abdd560a247ae775198be94ede8.zip |
Merge pull request #245339 from codedownio/fix-octave-kernel
octave-kernel: fix broken logo path and modernize meta
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions