summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2026-01-31flake: move inputs away from githubquentin@aristote.fr
Flake lock file updates: • Updated input 'flake-parts': 'github:hercules-ci/flake-parts/7f53fdb7bdc5bb237da7fefef12d099e4fd611ca?narHash=sha256-aPODl8vAgGQ0ZYFIRisxYG5MOGSkIczvu2Cd8Gb9%2B1Y%3D' (2023-09-01) → 'github:hercules-ci/flake-parts/80daad04eddbbf5a4d883996a73f3f542fa437ac?narHash=sha256-PVvu7OqHBGWN16zSi6tEmPwwHQ4rLPU9Plvs8/1TUBY%3D' (2026-01-11) • Updated input 'flake-parts/nixpkgs-lib': 'github:NixOS/nixpkgs/3e52e76b70d5508f3cec70b882a29199f4d1ee85?dir=lib&narHash=sha256-0l03ZBL8P1P6z8MaSDS/MvuU8E75rVxe5eE1N6gxeTo%3D' (2023-08-31) → 'github:nix-community/nixpkgs.lib/2075416fcb47225d9b68ac469a5c4801a9c4dd85?narHash=sha256-k00uTP4JNfmejrCLJOwdObYC9jHRrr/5M/a/8L2EIdo%3D' (2025-12-14) • Updated input 'my-nixpkgs': 'github:qaristote/my-nixpkgs/d67e818223a6965d76362dd0407a17caf2c3fe4c?narHash=sha256-nhvt7l8%2BxE41XLaWUbqkf/AoqZ%2BHWW7FjIKEYoo68zM%3D' (2023-09-19) → 'git+https://git.aristote.fr/nix/my-nixpkgs?ref=refs/heads/master&rev=e91ce613347c1db230413d3f60236fb8823ec33f' (2026-01-25) • Removed input 'my-nixpkgs/devenv' • Removed input 'my-nixpkgs/devenv/flake-compat' • Removed input 'my-nixpkgs/devenv/nix' • Removed input 'my-nixpkgs/devenv/nix/lowdown-src' • Removed input 'my-nixpkgs/devenv/nix/nixpkgs' • Removed input 'my-nixpkgs/devenv/nix/nixpkgs-regression' • Removed input 'my-nixpkgs/devenv/nixpkgs' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/flake-compat' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/flake-utils' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/flake-utils/systems' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/gitignore' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/gitignore/nixpkgs' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/nixpkgs' • Removed input 'my-nixpkgs/devenv/pre-commit-hooks/nixpkgs-stable' • Updated input 'my-nixpkgs/flake-parts': 'github:hercules-ci/flake-parts/7f53fdb7bdc5bb237da7fefef12d099e4fd611ca?narHash=sha256-aPODl8vAgGQ0ZYFIRisxYG5MOGSkIczvu2Cd8Gb9%2B1Y%3D' (2023-09-01) → 'github:hercules-ci/flake-parts/80daad04eddbbf5a4d883996a73f3f542fa437ac?narHash=sha256-PVvu7OqHBGWN16zSi6tEmPwwHQ4rLPU9Plvs8/1TUBY%3D' (2026-01-11) • Updated input 'my-nixpkgs/flake-parts/nixpkgs-lib': 'github:NixOS/nixpkgs/3e52e76b70d5508f3cec70b882a29199f4d1ee85?dir=lib&narHash=sha256-0l03ZBL8P1P6z8MaSDS/MvuU8E75rVxe5eE1N6gxeTo%3D' (2023-08-31) → 'github:nix-community/nixpkgs.lib/2075416fcb47225d9b68ac469a5c4801a9c4dd85?narHash=sha256-k00uTP4JNfmejrCLJOwdObYC9jHRrr/5M/a/8L2EIdo%3D' (2025-12-14) • Updated input 'my-nixpkgs/nixpkgs': 'github:NixOS/nixpkgs/5148520bfab61f99fd25fb9ff7bfbb50dad3c9db?narHash=sha256-d2B282GmQ9o8klc22/Rbbbj6r99EnELQpOQjWMyv0rU%3D' (2023-09-17) → 'github:NixOS/nixpkgs/523257564973361cc3e55e3df3e77e68c20b0b80?narHash=sha256-saOixpqPT4fiE/M8EfHv9I98f3sSEvt6nhMJ/z0a7xI%3D' (2026-01-24) • Updated input 'my-nixpkgs/nur': 'github:nix-community/NUR/926dfdc88dd64c4ec4ed1ba1c29bc198e9713bbb?narHash=sha256-l9xsmZxZ0ISgbH6RRZdNbFfi3hKDdA8rHdSn2zJElJ0%3D' (2023-09-17) → 'github:nix-community/NUR/c80cf01f7985ce8e1f6e50104b4dcff5c97f2d26?narHash=sha256-CmIT44%2B3TM5amukQCKK4jnuhLSfes181OGaePBqpKZY%3D' (2026-01-24) • Added input 'my-nixpkgs/nur/flake-parts': 'github:hercules-ci/flake-parts/205b12d8b7cd4802fbcb8e8ef6a0f1408781a4f9?narHash=sha256-4pDvzqnegAfRkPwO3wmwBhVi/Sye1mzps0zHWYnP88c%3D' (2024-12-04) • Added input 'my-nixpkgs/nur/flake-parts/nixpkgs-lib': follows 'my-nixpkgs/nur/nixpkgs' • Added input 'my-nixpkgs/nur/nixpkgs': 'github:nixos/nixpkgs/88d3861acdd3d2f0e361767018218e51810df8a1?narHash=sha256-MJ27Cy2NtBEV5tsK%2BYraYr2g851f3Fl1LpNHDzDX15c%3D' (2026-01-21) • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/bd9b686c0168041aea600222be0805a0de6e6ab8?narHash=sha256-lta5HToBZMWZ2hl5CautNSUgIZViR41QxN7JKbMAjgQ%3D' (2023-09-29) → 'github:NixOS/nixpkgs/6308c3b21396534d8aaeac46179c14c439a89b8a?narHash=sha256-xKPyJoMoXfXpDM5DFDZDsi9PHArf2k5BJjvReYXoFpM%3D' (2026-01-30)
2026-01-31basics: git: new git websitequentin@aristote.fr
2026-01-31devenv: updatequentin@aristote.fr
2026-01-25devenv: updatequentin@aristote.fr
2025-12-28languages: re-add japanese and germanaristote
2025-12-28more positive phrasingaristote
2025-12-28devenv: updatearistote
2025-12-27typoaristote
2025-12-27devenv: updatearistote
2025-12-19talks: add 12/2025 limd seminararistote
2025-12-19devenv: updatearistote
2025-12-15talks: add PPS days 2025aristote
2025-12-15talks: csl 2024: fix linkaristote
2025-12-15devenv: updatearistote
2025-12-09languages: remove japanesearistote
2025-12-09experience: service: fixaristote
2025-12-09devenv: updatearistote
2025-12-06(tmp): fix research/talksquentin@aristote.fr
2025-12-05research: talk: asv day: add urlaristote
2025-12-05devenv: updatearistote
2025-12-04research: talk: asv day 2025aristote
2025-12-04devenv: updatearistote
2025-11-25experience: add academic servicearistote
2025-11-24devenv: updatearistote
2025-10-23research: talks: rouen 2025aristote
2025-10-23devenv: updatearistote
2025-10-20talks: cant: fix slidesaristote
2025-10-20devenv: updatearistote
2025-10-10research: conferences: lics2025 proceedingsaristote
2025-10-10devenv: updatearistote
2025-10-09research: journals: csl2024 distinguished paperaristote
2025-10-09research: talks: cant2025: update slides urlaristote
2025-09-30research: talks: add cant2025aristote
2025-09-30devenv: updatearistote
2025-09-08research: add highlights talkaristote
2025-09-08devenv: updatearistote
2025-08-30keys: pgp: change expiry datequentin@aristote.fr
2025-08-30devenv: updatequentin@aristote.fr
2025-08-12research: calco2025: add abstractaristote
2025-08-12rename any last instances of 'publications' to 'research'quentin@aristote.fr
2025-08-12devenv: updatequentin@aristote.fr
2025-08-01Merge branch 'new-pub-format'aristote
2025-08-01research: talks: add may talksaristote
2025-08-01devenv: updatearistote
2025-08-01devenv: updatearistote
2025-07-29publications -> researcharistote
2025-07-29publications: calco proceedingsaristote
2025-07-29publications: calco proceedingsaristote
2025-07-27typoaristote
2025-07-27devenv: updatearistote
• Updated input 'devenv': 'github:cachix/devenv/4000b0153c6f54a57368c0b066aaa0024450618c?dir=src/modules' (2025-02-26) → 'github:cachix/devenv/8a92f0a645f8c6ee1653a492abc0be3556b0202d?dir=src/modules' (2025-07-25) • Updated input 'git-hooks': 'github:cachix/git-hooks.nix/9364dc02281ce2d37a1f55b6e51f7c0f65a75f17' (2025-01-21) → 'github:cachix/git-hooks.nix/16ec914f6fb6f599ce988427d9d94efddf25fe6d' (2025-06-24) • Updated input 'git-hooks/flake-compat': 'github:edolstra/flake-compat/ff81ac966bb2cae68946d5ed5fc4994f96d0ffec' (2024-12-04) → 'github:edolstra/flake-compat/9100a0f413b0c601e0533d1d94ffd501ce2e7885' (2025-05-12) • Updated input 'my-nixpkgs': 'github:qaristote/my-nixpkgs/fc9766e6b3bd039376d5a446b55d03bd0a0b267b' (2025-02-26) → 'github:qaristote/my-nixpkgs/2a8763191aed7bc2db4fc478804d80420c542b3b' (2025-07-22) • Updated input 'my-nixpkgs/flake-parts': 'github:hercules-ci/flake-parts/32ea77a06711b758da0ad9bd6a844c5740a87abd' (2025-02-01) → 'github:hercules-ci/flake-parts/644e0fc48951a860279da645ba77fe4a6e814c5e' (2025-07-21) • Updated input 'my-nixpkgs/flake-parts/nixpkgs-lib': 'https://github.com/NixOS/nixpkgs/archive/072a6db25e947df2f31aab9eccd0ab75d5b2da11.tar.gz?narHash=sha256-vJzFZGaCpnmo7I6i416HaBLpC%2BhvcURh/BQwROcGIp8%3D' (2025-02-16) → 'github:nix-community/nixpkgs.lib/0f36c44e01a6129be94e3ade315a5883f0228a6e' (2025-07-27) • Updated input 'my-nixpkgs/nixpkgs': 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) → 'github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace' (2025-07-25) • Updated input 'my-nixpkgs/nur': 'github:nix-community/NUR/2e80b737688496c5a3b0557009c8aa0bb5d0f98c' (2025-02-27) → 'github:nix-community/NUR/8598ddca549368eb1def4b907d3590258be7fc69' (2025-07-27) • Updated input 'my-nixpkgs/nur/flake-parts': 'github:hercules-ci/flake-parts/32ea77a06711b758da0ad9bd6a844c5740a87abd' (2025-02-01) → 'github:hercules-ci/flake-parts/644e0fc48951a860279da645ba77fe4a6e814c5e' (2025-07-21) • Updated input 'my-nixpkgs/nur/nixpkgs': 'github:nixos/nixpkgs/0196c0175e9191c474c26ab5548db27ef5d34b05' (2025-02-24) → 'github:nixos/nixpkgs/7fd36ee82c0275fb545775cc5e4d30542899511d' (2025-07-25) • Removed input 'my-nixpkgs/nur/treefmt-nix' • Removed input 'my-nixpkgs/nur/treefmt-nix/nixpkgs' • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/3a05eebede89661660945da1f151959900903b6a' (2025-02-26) → 'github:NixOS/nixpkgs/6027c30c8e9810896b92429f0092f624f7b1aace' (2025-07-25)