Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 20, 2025

• Merge pull request #39 from math-comp/2.4.0-rocq-prover-9.1

  Show description for 9f57ab2
  proux01

  authored
  9f57ab2

  Copy full SHA for 9f57ab2

Commits on Nov 19, 2025

• Add 2.4.0-rocq-prover-9.1

  pi8027

  committed
  093791d

  Copy full SHA for 093791d

Commits on Nov 18, 2025

• Merge pull request #38 from math-comp/mathcomp_2_5_0

  Show description for 7b7fa90
  proux01

  authored
  7b7fa90

  Copy full SHA for 7b7fa90

• Add 2.5.0

  proux01

  committed
  f1e509a

  Copy full SHA for f1e509a

Commits on May 2, 2025

• fix: gitlab base_url (needed to get proper README.md hyperlinks)

  erikmd

  committed
  74779a8

  Copy full SHA for 74779a8

• Merge pull request #36 from math-comp/add-2.3.0

  Show description for 8738ae4
  erikmd

  authored
  8738ae4

  Copy full SHA for 8738ae4

• fix: Split the Dockerfile in two ones (Dockerfile.coq, Dockerfile.rocq)

  Show description for f819498
  erikmd

  committed
  f819498

  Copy full SHA for f819498

• Merge commit '32eadd1910a5f3c6c2520ea6ecd800474c0a1303' into add-2.3.0

  Show description for 67bc9cd
  erikmd

  committed
  67bc9cd

  Copy full SHA for 67bc9cd

• Squashed 'external/docker-keeper/' changes from 3c2782c..910ad33

  Show description for 32eadd1
  erikmd

  committed
  32eadd1

  Copy full SHA for 32eadd1

Commits on Apr 30, 2025

• fix: Re-add 2.3.0 recipe

  Show description for 06b92ff
  erikmd

  committed
  06b92ff

  Copy full SHA for 06b92ff

• Merge pull request #34 from math-comp/fix-9.0

  Show description for 9a73ede
  erikmd

  authored
  9a73ede

  Copy full SHA for 9a73ede

• chore: Silence a warning that is not critical at all

  Show description for 5e05f20
  erikmd

  committed
  5e05f20

  Copy full SHA for 5e05f20

• feat: Fix input Docker image and output Docker tag for rocq-prover

  Show description for 5e8783a
  erikmd

  committed
  5e8783a

  Copy full SHA for 5e8783a

• fix: s/9.00/9.0/

  erikmd

  committed
  e4fb1d3

  Copy full SHA for e4fb1d3

• Merge pull request #33 from hoheinzollern/mathcomp-2.4.0

  Show description for ac3b402
  hoheinzollern

  authored
  ac3b402

  Copy full SHA for ac3b402

Commits on Apr 28, 2025

• New release

  hoheinzollern

  committed
  ff1834f

  Copy full SHA for ff1834f

Commits on Feb 10, 2025

• docs(README.md): detail

  erikmd

  committed
  e9f94c2

  Copy full SHA for e9f94c2

Commits on Oct 21, 2024

• feat: Use OCaml 4.14 by default for mathcomp >= 1.15.0

  Show description for 779977e
  erikmd

  committed
  779977e

  Copy full SHA for 779977e

Commits on Aug 30, 2024

• feat: Deploy mathcomp/mathcomp:{ 1.19.0 , 2.2.0 }-coq-8.20

  erikmd

  committed
  da823c4

  Copy full SHA for da823c4

Commits on Jul 29, 2024

• docs(README.md): Use debian:12-slim

  erikmd

  committed
  a7233ba

  Copy full SHA for a7233ba

Commits on Jul 15, 2024

• Squashed 'external/docker-keeper/' changes from baf2f5f..3c2782c

  Show description for 3ffe94b
  erikmd

  committed
  3ffe94b

  Copy full SHA for 3ffe94b

• Merge commit '3ffe94b1338bf0091e91b929a3d65b1e1f6d1eef'

  Show description for a61873a
  erikmd

  committed
  a61873a

  Copy full SHA for a61873a

Commits on Jul 12, 2024

• docker-keeper: rebuild-all

  Show description for ce1fafe
  palmskog

  committed
  ce1fafe

  Copy full SHA for ce1fafe

Commits on Jul 1, 2024

• Squashed 'external/docker-keeper/' changes from 749b8bc..baf2f5f

  Show description for af1b47d
  erikmd

  committed
  af1b47d

  Copy full SHA for af1b47d

• Merge commit 'af1b47d6bea11ecf314abf74d8a5516a3fc937f7'

  Show description for 03d08d7
  erikmd

  committed
  03d08d7

  Copy full SHA for 03d08d7

• Squashed 'external/docker-keeper/' changes from f53a3db..749b8bc

  Show description for e18c610
  erikmd

  committed
  e18c610

  Copy full SHA for e18c610

• Merge commit 'e18c6109d69b1477b39892496ac9b8c01b52455a'

  Show description for 6fab758
  erikmd

  committed
  6fab758

  Copy full SHA for 6fab758

• Squashed 'external/docker-keeper/' changes from 4c9ac81..f53a3db

  Show description for 7596224
  erikmd

  committed
  7596224

  Copy full SHA for 7596224

• Merge commit '7596224e6d8b5600f23c434bd5745523b8e5dec3'

  Show description for 853ddea
  erikmd

  committed
  853ddea

  Copy full SHA for 853ddea

Commits on Mar 8, 2024

• feat: Make sure the opam commands result in a umask=002 file tree

  Show description for 2d2f8af
  erikmd

  committed
  2d2f8af

  Copy full SHA for 2d2f8af

Commits on Jan 17, 2024

• fix(images.yml): Deploy `mathcomp/mathcomp:2.2.0:coq-dev` as well

  Show description for 2a4ec83
  erikmd

  committed
  2a4ec83

  Copy full SHA for 2a4ec83

• Merge pull request #32 from math-comp/mathcomp_2_2_0

  Show description for 087b7cc
  proux01

  authored
  087b7cc

  Copy full SHA for 087b7cc

• Add Mathcomp 2.2.0

  proux01

  committed
  c885b42

  Copy full SHA for c885b42

Commits on Jan 15, 2024

• New 1.19.0 release (#31)

  proux01

  authored
  9da652d

  Copy full SHA for 9da652d

Commits on Nov 4, 2023

• fix(images.yml): coq-dev requires mathcomp-dev

  Show description for b85d41a
  erikmd

  committed
  b85d41a

  Copy full SHA for b85d41a

Pagination

Previous

Next