| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-01-31 | flake: move inputs away from github | quentin@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-31 | basics: git: new git website | quentin@aristote.fr | |
| 2026-01-31 | devenv: update | quentin@aristote.fr | |
| 2026-01-25 | devenv: update | quentin@aristote.fr | |
| 2025-12-28 | languages: re-add japanese and german | aristote | |
| 2025-12-28 | more positive phrasing | aristote | |
| 2025-12-28 | devenv: update | aristote | |
| 2025-12-27 | typo | aristote | |
| 2025-12-27 | devenv: update | aristote | |
| 2025-12-19 | talks: add 12/2025 limd seminar | aristote | |
| 2025-12-19 | devenv: update | aristote | |
| 2025-12-15 | talks: add PPS days 2025 | aristote | |
| 2025-12-15 | talks: csl 2024: fix link | aristote | |
| 2025-12-15 | devenv: update | aristote | |
| 2025-12-09 | languages: remove japanese | aristote | |
| 2025-12-09 | experience: service: fix | aristote | |
| 2025-12-09 | devenv: update | aristote | |
| 2025-12-06 | (tmp): fix research/talks | quentin@aristote.fr | |
| 2025-12-05 | research: talk: asv day: add url | aristote | |
| 2025-12-05 | devenv: update | aristote | |
| 2025-12-04 | research: talk: asv day 2025 | aristote | |
| 2025-12-04 | devenv: update | aristote | |
| 2025-11-25 | experience: add academic service | aristote | |
| 2025-11-24 | devenv: update | aristote | |
| 2025-10-23 | research: talks: rouen 2025 | aristote | |
| 2025-10-23 | devenv: update | aristote | |
| 2025-10-20 | talks: cant: fix slides | aristote | |
| 2025-10-20 | devenv: update | aristote | |
| 2025-10-10 | research: conferences: lics2025 proceedings | aristote | |
| 2025-10-10 | devenv: update | aristote | |
| 2025-10-09 | research: journals: csl2024 distinguished paper | aristote | |
| 2025-10-09 | research: talks: cant2025: update slides url | aristote | |
| 2025-09-30 | research: talks: add cant2025 | aristote | |
| 2025-09-30 | devenv: update | aristote | |
| 2025-09-08 | research: add highlights talk | aristote | |
| 2025-09-08 | devenv: update | aristote | |
| 2025-08-30 | keys: pgp: change expiry date | quentin@aristote.fr | |
| 2025-08-30 | devenv: update | quentin@aristote.fr | |
| 2025-08-12 | research: calco2025: add abstract | aristote | |
| 2025-08-12 | rename any last instances of 'publications' to 'research' | quentin@aristote.fr | |
| 2025-08-12 | devenv: update | quentin@aristote.fr | |
| 2025-08-01 | Merge branch 'new-pub-format' | aristote | |
| 2025-08-01 | research: talks: add may talks | aristote | |
| 2025-08-01 | devenv: update | aristote | |
| 2025-08-01 | devenv: update | aristote | |
| 2025-07-29 | publications -> research | aristote | |
| 2025-07-29 | publications: calco proceedings | aristote | |
| 2025-07-29 | publications: calco proceedings | aristote | |
| 2025-07-27 | typo | aristote | |
| 2025-07-27 | devenv: update | aristote | |
| • 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) | |||
