gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,042,370 Commits 9 Branches 0 Tags
current
Commit Graph

1322 Commits

Author SHA1 Message Date
Pierre Roux 54f8f8a829 rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1 2026-07-24 09:41:27 +02:00
Vincent Laporte c5a79bf94d coqPackages.mathcomp-word: 3.4 → 3.5 2026-07-24 06:53:31 +02:00
Vincent Laporte 43019b76e3 coqPackages.QuickChick: clean up old versions that are no longer exposed (#538060) 2026-07-23 15:41:27 +00:00
Pierre Roux 363e06dfb5 rocq-core: ocaml 5.4 -> 5.5 2026-07-23 14:30:58 +02:00
Pierre Roux 24e6aa6736 rocq-core_9_3: init at 9.3+rc1 2026-07-23 14:26:19 +02:00
Pierre Roux 7ad020afbd coqPackages.multinomials: 2.4.0 -> 2.5.0 2026-07-23 11:54:40 +02:00
Théo Zimmermann e6a9e8129b coqPackages.QuickChick: clean up additional broken old versions 2026-07-22 11:54:04 +02:00
Théo Zimmermann c447ab0f44 coqPackages.QuickChick: clean up old versions that are no longer exposed 2026-07-21 14:35:23 +02:00
Pierre Roux 0de6221506 rocqPackages.mathcomp: 2.5.0 -> 2.6.0 2026-07-20 11:08:29 +02:00
Vincent Laporte 8ae4dc8df7 coqPackages.coq-hammer: 1.3.2 → 1.3.3 (#541564) 2026-07-20 04:12:31 +00:00
Pierre Roux 13484259fd coqPackages.stalmarck-tactic: enable compilation on master 2026-07-16 15:46:53 +02:00
Pierre Roux f0eacaa7b5 coqPackages.smtcoq: now depends on trakt 2026-07-16 11:35:42 +02:00
Pierre Roux ccfdda5636 coqPackages.smtcoq: SMTCoq-2.2+8.19 -> SMTCoq-2.3+8.20 2026-07-16 11:35:14 +02:00
Pierre Roux f771f20b23 coqPackages.smtcoq: improve formatting 2026-07-16 11:34:31 +02:00
Emily fdb820602b treewide: drop simple x86_64-darwin mentions 
To reproduce:

    $ nix run nixpkgs/3b32825de172d0bc85664f495edb096b10862524#ast-grep \
        -- scan --update-all --inline-rules '
          id: nix-x86_64-darwin
          language: nix
          rule:
            any:
              - pattern: "\"x86_64-darwin\""
                kind: list_expression > string_expression
              - pattern:
                  context: "{ \"x86_64-darwin\" = $EXPR; }"
                  selector: binding
              - pattern:
                  context: "{ x86_64-darwin = $EXPR; }"
                  selector: binding
          fix:
            template: ""
        ' pkgs
    $ nix run nixpkgs/3b32825de172d0bc85664f495edb096b10862524#ast-grep \
        -- scan --update-all --inline-rules '
          id: json-first-x86_64-darwin
          language: json
          rule:
            kind: object > pair:nth-child(1)
            has:
              pattern: "\"x86_64-darwin\""
              field: key
          fix:
            template: ""
            expandEnd: { regex: "," }
        ' pkgs
    $ nix run nixpkgs/3b32825de172d0bc85664f495edb096b10862524#ast-grep \
        -- scan --update-all --inline-rules '
          id: json-x86_64-darwin
          language: json
          rule:
            kind: object > pair
            has:
              pattern: "\"x86_64-darwin\""
              field: key
          fix:
            template: ""
            expandStart: { regex: "," }
        ' pkgs
    $ git restore pkgs/by-name/om/omnix/package.nix
    $ git diff --name-only -z \
        | nix shell nixpkgs/3b32825de172d0bc85664f495edb096b10862524#gnused \
            -c xargs -0 sed -i '/^$/N; /^\n\? \+$/d'
    $ treefmt
 2026-07-15 03:58:16 +01:00
Vincent Laporte 1884161831 coqPackages.coq-hammer: 1.3.2 → 1.3.3 2026-07-13 11:12:02 +02:00
Théo Zimmermann 0235b9517e mkCoqDerivation: make a wrapper on top of mkRocqDerivation 2026-07-10 17:56:53 +02:00
nixpkgs-ci[bot] f56d9e08af Merge master into staging-next 2026-07-02 12:40:31 +00:00
Yifei Sun f348a2b7e3 coqPackages.zorns-lemma: modernize mkCoqDerivation release hash format 2026-06-17 22:37:03 +02:00
Yifei Sun e417f8140c coqPackages.waterproof: modernize mkCoqDerivation release hash format 2026-06-17 22:37:03 +02:00
Yifei Sun a1095db5c9 coqPackages.wasmcert: modernize mkCoqDerivation release hash format 2026-06-17 22:37:03 +02:00
Yifei Sun 3205ae2114 coqPackages.VST: modernize mkCoqDerivation release hash format 2026-06-17 22:37:03 +02:00
Yifei Sun 85f89ea677 coqPackages.VplTactic: modernize mkCoqDerivation release hash format 2026-06-17 22:37:03 +02:00
Yifei Sun aabd366d44 coqPackages.Vpl: modernize mkCoqDerivation release hash format 2026-06-17 22:37:03 +02:00
Yifei Sun 068f2f2b80 coqPackages.Verdi: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 673d5894c0 coqPackages.Velisarios: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 3d7afbfaf9 coqPackages.vcfloat: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun ad797a21b6 coqPackages.validsdp: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 91c9a3993f coqPackages.unicoq: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 099a9d8ac8 coqPackages.TypedExtraction: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 5a240848a7 coqPackages.trakt: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 2bbeb65bde coqPackages.topology: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun bdf85f40f2 coqPackages.tlc: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 10f15122dd coqPackages.StructTact: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 297c15a7df coqPackages.stdpp: modernize mkCoqDerivation release hash format 2026-06-17 22:37:02 +02:00
Yifei Sun 8202f38070 coqPackages.stdlib: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun 758feba058 coqPackages.stalmarck-tactic: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun 7173d123d4 coqPackages.ssprove: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun 1dedfb45b3 coqPackages.smtcoq: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun d41437e84c coqPackages.smpl: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun 3e74d65c06 coqPackages.simple-io: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun e4abd8dab1 coqPackages.serapi: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun 9dd99058f1 coqPackages.semantics: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun 81c69e0934 coqPackages.RustExtraction: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun 591803e253 coqPackages.rewriter: modernize mkCoqDerivation release hash format 2026-06-17 22:37:01 +02:00
Yifei Sun 7aec8dc57b coqPackages.relation-algebra: modernize mkCoqDerivation release hash format 2026-06-17 22:37:00 +02:00
Yifei Sun 7ef5c7008e coqPackages.reglang: modernize mkCoqDerivation release hash format 2026-06-17 22:37:00 +02:00
Yifei Sun 9cf868977f coqPackages.QuickChick: modernize mkCoqDerivation release hash format 2026-06-17 22:37:00 +02:00
Yifei Sun 434eafb298 coqPackages.pocklington: modernize mkCoqDerivation release hash format 2026-06-17 22:37:00 +02:00
Yifei Sun 22109292e2 coqPackages.parseque: modernize mkCoqDerivation release hash format 2026-06-17 22:37:00 +02:00