Zulip Chat Archive
Stream: Lean Together 2019
Topic: elan packages for linux distributions
Gabriel Ebner (Jan 11 2019 at 10:16):
Here's the elan package for nixos: https://github.com/NixOS/nixpkgs/blob/0a7e258012b60cbe530a756f09a4f2516786d370/pkgs/applications/science/logic/elan/default.nix
Last updated: May 02 2025 at 03:31 UTC