carbon: reorganized packages

This commit is contained in:
Primrose 2024-11-18 21:29:58 +01:00
parent 84a6c96ab3
commit 108eb9f93b
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
6 changed files with 59 additions and 53 deletions

View file

@ -1,7 +1,17 @@
{ pkgs, config, ... }:
let
inherit (pkgs) myPkgs;
in
{
home.packages = [
pkgs.gnumake
pkgs.cmake
pkgs.iconv
pkgs.sqlite
# pkgs.jetbrains.idea-community
# # keyboard
@ -34,17 +44,22 @@
(pkgs.metals.override { jre = config.programs.java.package; })
(pkgs.ammonite.override { jre = config.programs.java.package; })
pkgs.gnumake
pkgs.cmake
pkgs.iconv
pkgs.sqlite
# isabelle
pkgs.isabelle # module ACF
# preview markdown
pkgs.python3Packages.grip
# typst
myPkgs.typst-mutilate
# xmonad development/configuartion
pkgs.cabal-install
(pkgs.haskellPackages.ghcWithPackages (self: [
self.xmonad-contrib
self.xmonad-extras
]))
pkgs.haskell-language-server
];
programs.neovim.extraPackages = [