nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-02 13:00:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,993 Commits 263 Branches 81 Tags
python-updates
Commit Graph

9 Commits

Author SHA1 Message Date
R. Ryantm
93dcca0cc6 vscode-extensions.leanprover.lean4: 0.0.237 -> 0.0.239 2026-07-30 10:46:07 +00:00
R. Ryantm
168631beeb vscode-extensions.leanprover.lean4: 0.0.236 -> 0.0.237 2026-05-28 19:46:55 +00:00
R. Ryantm
3a6b2680c4 vscode-extensions.leanprover.lean4: 0.0.234 -> 0.0.236 2026-05-03 15:24:40 +00:00
R. Ryantm
ab85565928 vscode-extensions.leanprover.lean4: 0.0.229 -> 0.0.234 2026-04-16 07:30:46 +00:00
R. Ryantm
5c6a7d9957 vscode-extensions.leanprover.lean4: 0.0.226 -> 0.0.229 2026-04-08 14:42:01 +00:00
R. Ryantm
225a45acf4 vscode-extensions.leanprover.lean4: 0.0.225 -> 0.0.226 2026-03-31 04:11:37 +00:00
R. Ryantm
0d842d99b0 vscode-extensions.leanprover.lean4: 0.0.223 -> 0.0.225 2026-03-05 21:29:49 +00:00
R. Ryantm
441fd26723 vscode-extensions.leanprover.lean4: 0.0.221 -> 0.0.223 2026-02-10 14:31:18 +00:00
Alexander Städing
7c85b6ada0 vscode-extensions.leanprover.lean4: init at 0.0.221 2025-11-16 16:17:26 +01:00