index
:
nixos/nixpkgs.git
master
nixos-16.03
nixos-16.09
nixos-18.09
nixos-18.09-small
nixos-19.03
nixos-19.03-small
nixos-19.09
nixos-19.09-small
nixos-20.03
nixos-20.03-small
nixos-20.09
nixos-20.09-aarch64
nixos-20.09-small
nixos-21.05
nixos-21.05-aarch64
nixos-21.05-small
nixos-21.11
nixos-21.11-aarch64
nixos-21.11-small
nixos-22.05
nixos-22.05-aarch64
nixos-22.05-small
nixos-22.11
nixos-22.11-small
nixos-23.05
nixos-23.05-small
nixos-23.11
nixos-23.11-small
nixos-24.05
nixos-24.05-small
nixos-24.11
nixos-24.11-small
nixos-25.05
nixos-25.05-small
nixos-25.11
nixos-25.11-small
nixos-test-staging
nixos-test-staging-baseline
nixos-unstable
nixos-unstable-small
nixpkgs-stable
nixpkgs-testing
nixpkgs-unstable
release-13.10
release-14.04
release-14.12
release-15.09
release-16.03
release-16.09
release-17.03
release-17.09
release-18.03
release-18.09
release-18.09-firefox64
release-19.03
release-19.09
release-20.03
release-20.09
release-21.05
release-21.11
release-22.05
release-22.11
release-23.05
release-23.11
release-24.05
release-24.11
release-25.05
release-25.11
staging
staging-18.03
staging-18.09
staging-19.03
staging-19.09
staging-20.03
staging-20.09
staging-21.05
staging-21.11
staging-22.05
staging-22.11
staging-23.05
staging-23.11
staging-24.05
staging-24.11
staging-25.05
staging-25.11
staging-26.05
staging-next
staging-next-21.05
staging-next-21.11
staging-next-22.05
staging-next-22.11
staging-next-23.05
staging-next-23.11
staging-next-24.05
staging-next-24.11
staging-next-25.05
staging-next-25.11
staging-next-26.05
staging-next-xdg-desktop-portal-gnome-dependency
staging-nixos
staging-patchelf
staging-python
staging.patchShebangs
Nix Packages collection
Octavian Cerna
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
/
mathcomp-finmap
/
default.nix
Age
Commit message (
Expand
)
Author
2026-02-19
rocqPackages.mathcomp-finmap: init at 2.2.2
Pierre Roux
2025-11-12
coqPackages.mathcomp: 2.4.0 -> 2.5.0
Pierre Roux
2025-07-09
coqPackages.*: 9.0 -> 9.1
Pierre Roux
2025-06-30
coqPackages.*: fix formatting fix
Pierre Roux
2025-06-30
coqPackages.*: better formatting fix
Pierre Roux
2025-06-21
coqPackages.*: fix formatting
Pierre Roux
2025-05-10
coqPackages.finmap: 2.1.0 -> 2.2.0
Pierre Roux
2025-05-10
coqPackages.mathcomp: 2.3.0 -> 2.4.0
Pierre Roux
2025-05-05
Refine dependencies from mathcomp-ssreflect to mathcomp-boot
Pierre Roux
2025-02-24
coqPackages.mathcomp*: update stdlib dependencies
Pierre Roux
2025-02-14
coqPackages.mathcomp: remove Stdlib dependency
Pierre Roux
2025-01-26
coq_9_0: init at 9.0+rc1
Pierre Roux
2024-12-10
treewide: format all inactive Nix files
Silvan Mosberger
2024-07-01
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
Pierre Roux
2024-06-28
coq_8_20: init at 8.20+rc1 (#323105)
Pierre Roux
2024-06-09
treewide: Remove indefinite article from meta.description
Alexis Hildebrandt
2024-01-19
Add Coqeal 2.0.1 and algebra-tactics 1.2.3
Pierre Roux
2024-01-16
coqPackages.mathcomp: 1.18.0 -> 1.19.0
Pierre Roux
2023-11-15
coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)
Pierre Roux
2023-09-04
Add a few packages for Coq 8.18 and MathComp 2.0
Pierre Roux
2023-09-04
coq_8_18: init at 8.18+rc1
Vincent Laporte
2023-03-09
coqPackages: various 8.16 -> 8.17
Pierre Roux
2023-01-21
treewide: remove global with lib; statements in pkgs/coq-modules
Shawn8901
2022-08-31
mathcomp: 1.14.0 -> 1.15.0
Enrico Tassi
2022-07-17
coqPackages.mathcomp-finmap: 1.5.1 → 1.5.2
Vincent Laporte
2022-02-02
coqPackages.mathcomp: 1.13.0 -> 1.14.0
Cyril Cohen
2021-10-29
coqPackages.mathcomp: 1.12.0 -> 1.13.0
Cyril Cohen
2021-01-09
coqPackages: refactor
Cyril Cohen
2019-05-15
coqPackages: refactor mathcomp packages
Cyril Cohen
2019-04-23
coqPackages.mathcomp: 1.7.0 -> 1.8.0
Vincent Laporte
2019-02-18
coqPackages.mathcomp-analysis: enable for Coq 8.9
Vincent Laporte
2019-02-09
coqPackages.mathcomp-finmap: init at 1.1.0
Vincent Laporte
