Commits

Branch selector

 master

User selector

vbgl

Datepicker

All time

Commit History

Commits on Oct 23, 2022

• ocamlPackages.lwt: 5.5.0 → 5.6.1

  vbgl

  committed
  7bc0c0e

  Copy full SHA for 7bc0c0e

Commits on Oct 22, 2022

• ocamlPackages.react: 1.2.1 → 1.2.2

  vbgl

  committed
  c96a024

  Copy full SHA for c96a024

• ocaml-ng.ocamlPackages_5_0.ocaml: init at 5.0.0-β1

  vbgl

  committed
  7e591f9

  Copy full SHA for 7e591f9

Commits on Oct 21, 2022

• ocamlPackages.torch: 0.14 → 0.15

  vbgl

  committed
  0b8181e

  Copy full SHA for 0b8181e

Commits on Oct 20, 2022

• ocamlPackages.findlib: 1.9.3 → 1.9.6

  vbgl

  committed
  f14d4f4

  Copy full SHA for f14d4f4

• ocamlPackages.mlgmp: remove at 20120224 (broken)

  vbgl

  committed
  fd15a97

  Copy full SHA for fd15a97

• ocamlPackages.reason: 3.8.1 → 3.8.2

  vbgl

  committed
  0f4dad2

  Copy full SHA for 0f4dad2

• ocamlPackages.graphql_ppx: use dune 3

  vbgl

  committed
  dce8256

  Copy full SHA for dce8256

Commits on Oct 19, 2022

• sil-abyssinica: 1.500 → 2.100

  vbgl

  committed
  6e37ec0

  Copy full SHA for 6e37ec0

• sil-padauk: 3.003 → 5.001

  vbgl

  committed
  78be550

  Copy full SHA for 78be550

Commits on Oct 17, 2022

• amiri: 0.117 → 0.900

  vbgl

  committed
  c823391

  Copy full SHA for c823391

Commits on Oct 14, 2022

• ocamlPackages.mirage-block-unix: 2.14.1 → 2.14.2

  vbgl

  committed
  9f1d6c1

  Copy full SHA for 9f1d6c1

Commits on Oct 13, 2022

• coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16

  vbgl

  committed
  5b8ac1b

  Copy full SHA for 5b8ac1b

• ocamlPackages.ocamlbuild: 0.14.1 → 0.14.2

  vbgl

  committed
  d618530

  Copy full SHA for d618530

• ocamlPackages.lablgtk_2_14: remove at 2.14.0 (broken)

  vbgl

  committed
  ed50e17

  Copy full SHA for ed50e17

• ocamlPackages.uuidm: disable for OCaml < 4.08

  vbgl

  committed
  0671df7

  Copy full SHA for 0671df7

Commits on Oct 12, 2022

• coq: default to version 8.16

  vbgl

  committed
  1101dfa

  Copy full SHA for 1101dfa

• coq_8_16: use OCaml 4.14

  vbgl

  committed
  661ee3a

  Copy full SHA for 661ee3a

• coqPackages.coq-elpi: disable OCaml warnings

  vbgl

  committed
  d451ea7

  Copy full SHA for d451ea7

• ocamlPackages.ff: 0.4.0 → 0.6.2

  Show description for bb38470
  vbgl

  committed
  bb38470

  Copy full SHA for bb38470

Commits on Oct 11, 2022

• coqPackages.VST: enable for Coq 8.16

  vbgl

  committed
  4912687

  Copy full SHA for 4912687

• coqPackages.compcert: enable for Coq 8.16

  vbgl

  committed
  a861c34

  Copy full SHA for a861c34

Commits on Oct 10, 2022

• jasmin-compiler: 2022.04.0 → 2022.09.0

  vbgl

  committed
  91d1eb9

  Copy full SHA for 91d1eb9

• ocamlPackages.x509: 0.16.0 → 0.16.2

  vbgl

  committed
  4329682

  Copy full SHA for 4329682

Commits on Oct 9, 2022

• gajim: 1.5.1 → 1.5.2

  vbgl

  committed
  daf5a09

  Copy full SHA for daf5a09

• pythonPackages.nbxmpp: 3.2.2 → 3.2.4

  vbgl

  committed
  9755cb8

  Copy full SHA for 9755cb8

• ocamlPackages.caqti: 1.8.0 → 1.9.1

  vbgl

  committed
  0e21110

  Copy full SHA for 0e21110

Commits on Oct 8, 2022

• ocamlPackages.ppx_tools: 6.5 → 6.6

  vbgl

  committed
  a070b3c

  Copy full SHA for a070b3c

Commits on Oct 7, 2022

• coqPackages.simple-io: fix & add tests

  vbgl

  committed
  f45bd81

  Copy full SHA for f45bd81

Commits on Oct 5, 2022

• coqPackages.mathcomp-word: 1.1 → 2.0

  vbgl

  committed
  a2c9178

  Copy full SHA for a2c9178

• coqPackages.category-theory: 20211213 → 1.0.0

  vbgl

  committed
  4076104

  Copy full SHA for 4076104

Commits on Sep 30, 2022

• ocamlPackages.checkseum: 0.3.4 → 0.4.0

  vbgl

  committed
  eaa176a

  Copy full SHA for eaa176a

Commits on Sep 29, 2022

• gajim: 1.4.7 → 1.5.1

  vbgl

  committed
  61be216

  Copy full SHA for 61be216

• pythonPackages.nbxmpp: 3.2.1 → 3.2.2

  vbgl

  committed
  dbed7c2

  Copy full SHA for dbed7c2

Commits on Sep 27, 2022

• Merge pull request NixOS#192437 from kyoDralliam/metacoq-fix-dev

  Show description for ff346a4
  vbgl

  authored
  ff346a4

  Copy full SHA for ff346a4

Pagination

Previous

Next