Vincent Laporte 794eb1a6fd rocqPackages.rocq-elpi: 3.1.0 -> 3.2.0 (#450257)

2025-10-10 05:56:23 +00:00

..

aac-tactics

…

addition-chains

…

async-test

…

atbr

…

autosubst

…

autosubst-ocaml

…

bbv

…

bignums

…

category-theory

…

ceres

…

Cheerios

…

coinduction

…

CoLoR

…

compcert

…

contribs

…

coq-bits

…

coq-elpi

…

coq-hammer

coqPackages.coq-hammer: enable for Coq 9.0

2025-10-08 13:22:47 +02:00

coq-haskell

…

coq-lsp

…

coq-matrix

…

coq-record-update

…

coq-tactical

…

coqeal

coqPackages.coqeal: 2.1.0 -> 2.1.1

2025-10-09 16:41:06 +02:00

coqfmt

…

coqhammer

…

coqide

…

coqprime

…

coqtail-math

…

coquelicot

…

coqutil

coqPackages.coqutil: 0.0.6 -> 0.0.7

2025-10-07 21:18:35 +02:00

corn

…

deriving

…

dpdgraph

…

ElmExtraction

…

equations

…

ExtLib

…

extructures

…

fcsl-pcm

…

flocq

…

fourcolor

…

gaia

…

gaia-hydras

…

gappalib

…

goedel

…

graph-theory

…

heq

…

hierarchy-builder

…

high-school-geometry

…

HoTT

…

http

…

hydra-battles

…

InfSeqExt

…

interval

…

iris

…

iris-named-props

…

itauto

…

ITree

…

itree-io

…

jasmin

…

json

…

lemma-overloading

…

LibHyps

…

ltac2

…

math-classes

…

mathcomp

…

mathcomp-abel

…

mathcomp-algebra-tactics

…

mathcomp-analysis

…

mathcomp-apery

…

mathcomp-bigenough

…

mathcomp-finmap

…

mathcomp-infotheo

…

mathcomp-real-closed

…

mathcomp-tarjan

…

mathcomp-word

…

mathcomp-zify

…

MenhirLib

…

metacoq

…

metalib

…

metarocq

…

mtac2

…

multinomials

…

odd-order

…

Ordinal

…

paco

…

paramcoq

…

parsec

…

parseque

…

pocklington

…

QuickChick

…

reglang

…

relation-algebra

…

rewriter

…

RustExtraction

…

semantics

…

serapi

…

simple-io

…

smpl

…

smtcoq

…

ssprove

…

stalmarck

…

stdlib

…

stdpp

…

StructTact

…

tlc

…

topology

…

trakt

…

unicoq

…

validsdp

…

vcfloat

…

Velisarios

…

Verdi

…

Vpl

…

VplTactic

…

vscoq-language-server

…

VST

…

wasmcert

…

waterproof

…

zorns-lemma

…