12 commits

Author	SHA1	Message	Date
Léana 江	bcd7291e0a	nix: don't export mkNerdFont via packages	2024-10-30 18:21:57 +01:00
Léana 江	e44e55a5e3	nix: remove typstyle (got merged on nixpkgs ✨)	2024-10-30 18:21:56 +01:00
Léana 江	3d021454b6	nix: typstyle	2024-10-30 18:21:56 +01:00
Léana 江	db5aaa5811	Refactor using flake-parts (#4) ... Reviewed-on: https://git.earth2077.fr/leana/.files/pulls/4 Co-authored-by: Léana 江 <leana.jiang@icloud.com> Co-committed-by: Léana 江 <leana.jiang@icloud.com>	2024-10-30 18:21:55 +01:00
Léana 江	f380d20530	nix: use buildDuneProject instead	2024-10-30 18:21:54 +01:00
Léana 江	8b5e31a9c0	nix: altiosevka	2024-10-30 18:21:53 +01:00
Léana 江	e0be84a2db	nix: refactored extrapackages into overlay	2024-10-30 18:21:53 +01:00
Léana 江	5ff48b0756	add(nix): maeel	2024-10-30 18:21:52 +01:00
Léana 江	23404db605	ref(nix): formatted with nixfmt-rfc-style	2024-10-30 18:21:51 +01:00
Léana 江	efef532b06	add(nix): why3 (with provers)	2024-10-30 18:21:50 +01:00
Léana 江	b00f94996e	ref(nix): use callPackage ... I didn't know it resolves lambda arguments, interesting	2024-10-30 18:21:49 +01:00
Léana 江	5b8e87c7a4	ref(nix): export lib	2024-10-30 18:21:49 +01:00

Renamed from nix/mypkgs/default.nix (Browse further)