Closed fgaz closed 1 year ago
Principia was recently added to nixpkgs: https://github.com/NixOS/nixpkgs/pull/222504
See also https://github.com/principia-preservation-project/principia-web/pull/27
Principia was recently added to nixpkgs: https://github.com/NixOS/nixpkgs/pull/222504
See also https://github.com/principia-preservation-project/principia-web/pull/27