Skip to content

Pull requests: coq-community/coq-nix-toolbox

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

CompCert 3.15
#301 opened Dec 13, 2024 by vbgl Draft
Testing hb 1.7.1
#299 opened Dec 9, 2024 by CohenCyril Draft
Testing mathcomp 2.3.0
#292 opened Nov 28, 2024 by CohenCyril Loading…
Testing nixpkgs#350287
#276 opened Oct 21, 2024 by CohenCyril Draft
paco 4.2.1
#274 opened Oct 15, 2024 by vbgl Draft
testing native config
#140 opened Apr 6, 2023 by Alizter Draft
ProTip! Add no:assignee to see everything that’s not assigned.