nixpkgs/pkgs/development/coq-modules/ at 21.05 · tjh.dev/nixpkgs

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

fork atom

nixpkgs / pkgs / development / coq-modules /

at 21.05 56 folders

Cheerios

coqPackages: refactor

5 years ago

CoLoR

coqPackages.CoLoR: 1.7.0 → 1.8.1

4 years ago

HoTT

coqPackages: refactor

5 years ago

ITree

coqPackages.ITree: changed pname to InteractionTrees

4 years ago

InfSeqExt

coqPackages: refactor

5 years ago

QuickChick

coqPackages_8_13.QuickChick: init at 1.5.0

4 years ago

StructTact

coqPackages: refactor

5 years ago

VST

coqPackages.VST: 2.6 → 2.7.1

4 years ago

Velisarios

coqPackages: refactor

5 years ago

Verdi

coqPackages: refactor

5 years ago

aac-tactics

coqPackages.aac-tactics: init

4 years ago

autosubst

coqPackages.autosubst: 5b40a32e -> 1.7 and fix build

4 years ago

bignums

coqPackages: refactor

5 years ago

category-theory

coqPackages: refactor

5 years ago

contribs

coqPackages: refactor

5 years ago

coq-bits

coqPackages: refactor

5 years ago

coq-elpi

coq-elpi: 1.6.2 -> 1.6.3

4 years ago

coq-ext-lib

coqPackages.coq-ext-lib: add Coq 8.13

4 years ago

coq-haskell

coqPackages: refactor

5 years ago

coqeal

coqPackages.coqeal: 1.0.4 → 1.0.5

4 years ago

coqhammer

coqPackages.coqhammer: 1.3 → 1.3.1

4 years ago

coqprime

coqPackages.coqprime: enable for Coq 8.13

4 years ago

coqtail-math

coqtail-math: init at 20201124

4 years ago

coquelicot

coqPackages: refactor

5 years ago

corn

coqPackages.corn: 8.8.1 → 8.12.0

5 years ago

dpdgraph

coqPackages.dpdgraph: init at 0.6.9 for Coq 8.13

5 years ago

equations

coqPackages.equations: 1.2.3 → 1.2.4

4 years ago

fiat

coqPackages: refactor

5 years ago

flocq

coqPackages: refactor

5 years ago

fourcolor

coqPackages.fourcolor: init at 1.2.3

4 years ago

gappalib

coqPackages: refactor

5 years ago

goedel

coqPackages.goedel: init at 8.12.0

4 years ago

heq

coqPackages: refactor

5 years ago

hierarchy-builder

elpi: 1.12.0 -> 1.13.0

5 years ago

hydra-battles

coqPackages.hydra-battles: init at 0.3

4 years ago

interval

coqPackages.interval: 4.1.0 -> 4.1.1

4 years ago

iris

coqPackages.stdpp: 1.4.0 → 1.5.0

4 years ago

ltac2

coqPackages: refactor

5 years ago

math-classes

coqPackages.math-classes: 8.11.0 -> 8.12.0

5 years ago

mathcomp

coqPackages.mathcomp: etc (#115417)

4 years ago

mathcomp-abel

Merge pull request #109330 from CohenCyril/mathcomp-abel

5 years ago

mathcomp-analysis

coqPackages.mathcomp-analysis: 0.3.1 -> 0.3.6

4 years ago

mathcomp-bigenough

coqPackages: refactor

5 years ago

mathcomp-finmap

coqPackages: refactor

5 years ago

mathcomp-real-closed

coqPackages: refactor

5 years ago

mathcomp-zify

coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13

4 years ago

metalib

coqPackages.metalib: enable for Coq 8.13

4 years ago

multinomials

coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)

4 years ago

odd-order

coqPackages.odd-order: init at 1.12.0

4 years ago

paco

coqPackages: refactor

5 years ago

paramcoq

coqPackages.paramcoq: enable for Coq 8.13

4 years ago

pocklington

coqPackages.pocklington: init at 8.12.0

4 years ago

relation-algebra

coqPackages.relation-algebra: init

4 years ago

simple-io

coqPackages.simple-io: enable for Coq 8.13

4 years ago

stdpp

coqPackages.stdpp: 1.4.0 → 1.5.0

4 years ago

tlc

coqPackages.tlc: 20200328 → 20210316

4 years ago