rio: 0.0.36 -> 0.0.37
[NixPkgs.git] / pkgs / applications / editors / jupyter-kernels / coq / 
treef546d18c645794c7a5917387786615bf61ef76fd
drwxr-xr-x   ..
-rw-r--r-- 1621 default.nix
-rw-r--r-- 649 kernel.nix