nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-22 13:43:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
518,460 Commits 171 Branches 125 Tags 8.3 GiB
3eeaa497ed
Commit Graph

27 Commits

Author SHA1 Message Date
Laurent CaniBot
35473208fe ligo: 0.71.1 -> 0.72.0 2023-08-17 14:33:27 +02:00
Laurent CaniBot
552bddf3ed ligo: 0.69.0 -> 0.71.1 2023-08-14 12:54:19 +02:00
Laurent CaniBot
81fae6294b ligo: 0.68.0 -> 0.69.0 2023-07-06 12:34:33 +00:00
Mario Rodas
8f342bfa95 ocamlPackages.menhirLib: 20220210 -> 20230608 
Diff: 20220210...20230608
 2023-06-28 11:42:19 +02:00
Ulrik Strid
466af5066e ligo: Fix hash after tag mutation 2023-06-26 13:58:05 +02:00
Laurent CaniBot
d1e05a02a9 ligo: 0.67.1 -> 0.68.0 2023-06-21 07:24:58 +00:00
Ulrik Strid
83fe300f2b
Merge pull request #236659 from ligolang/ligo--0_67_1 
ligo: 0.66.0 -> 0.67.1
 2023-06-20 14:03:59 +02:00
Laurent CaniBot
5ba6eab7c2 ligo: 0.66.0 -> 0.67.1 2023-06-20 09:22:46 +02:00
toastal
8201afb77f ocamlPackages.mtime: create 1.x fork for compat 
Slapped mtime_1 affected ocamlPackages
 2023-06-13 13:14:38 +07:00
Laurent CaniBot
258620756d ligo: 0.65.0 -> 0.66.0 2023-05-25 17:37:31 +00:00
Marigold-infrabot
9c2e30bd1e
ligo: 0.64.2 -> 0.65.0 (#231142) 
* ligo: 0.64.2 -> 0.65.0

* ligo: make compatible with hacl-star 0.7.0 again

* ligo: Remove broken changelog generation

---------

Co-authored-by: Laurent CaniBot <laurent@marigold.dev>
Co-authored-by: Ulrik Strid <ulrik.strid@outlook.com>
 2023-05-12 13:37:12 +02:00
Weijia Wang
b2963e311a ligo: fix build on darwin 2023-05-05 16:10:55 +03:00
InfraBot
f5a8cfa45b ligo: 0.60.0 -> 0.64.2 2023-05-02 16:59:56 +02:00
Ulrik Strid
65a2ffba20 ligo: 0.59.0 -> 0.60.0 2023-02-20 11:03:39 +01:00
Guillaume Girol
33afbf39f6 treewide: switch to nativeCheckInputs 
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
 2023-01-21 12:00:00 +00:00
Ulrik Strid
a8153eadb4 ligo: 0.58.0 -> 0.59.0 2023-01-05 10:39:27 +01:00
Ulrik Strid
75e915659b ligo: 0.55.0 -> 0.58.0 2022-12-22 20:47:14 +01:00
Ulrik Strid
9a392408f8 ligo: 0.54.1 -> 0.55.0 2022-11-11 09:21:05 +01:00
Laurent Canis
ea0f2f7250 ligo: 0.54.0 -> 0.54.1 2022-10-29 16:04:03 -04:00
Ulrik Strid
ea8c2698be
ligo: 0.53 -> 0.54 (#197508) 
* ocamlPackages.resto:  0.7 -> 1.0

* ocamlPackages.bls12-381: 4.0.0 -> 5.0.0

* ligo: 0.53.0 -> 0.54.0
 2022-10-27 12:09:29 +02:00
Ulrik Strid
7eb4d82785 ligo: 0.47.0 -> 0.53.0 2022-10-21 13:55:29 +02:00
Ulrik Strid
aee04b1bed
ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 
* ocamlPackages.cstruct: 6.0.1 -> 6.1.1

* ocamlPackages.git: 3.5.0 -> 3.9.1

* ocamlPackages.carton: 0.4.3 -> 0.4.4

* ocamlPackages.bigstringaf: 0.7.0 -> 0.9.0

* ocamlPackages.decompress: 1.4.2 -> 1.5.1

* ocamlPackages.repr: 0.5.0 -> 0.6.0

* ocamlPackages.irmin: 2.9.1 -> 3.4.1

* ligo: 0.36.0 -> 0.47.0

ocamlPackages.ringo: 0.5 → 0.9
ocamlPackages.data-encoding: 0.4.0 → 0.5.3
ocamlPackages.bls12-381: 1.1.0 -> 3.0.0

Co-authored-by: bezmuth <benkel97@protonmail.com>
 2022-10-11 08:50:54 +02:00
Aaron L. Zeng
4f6ddfdd23 Add Jane Street ocaml packages version 0.15 
- ocamlPackages.tls*: 0.15.2 -> 0.15.3
- ocamlPackages.bistro: unstable-2021-11-13 -> unstable-2022-05-07
- ocamlPackages.phylogenetics: 0.1.0 -> unstable-2022-05-06
 2022-07-07 00:32:11 -04:00
Ulrik Strid
93dbc8b14c ligo: 0.34.0 -> 0.36.0 
Also changes to use the vendored tezos instead
 2022-03-26 11:54:24 +01:00
José Romildo Malaquias
0522e55f99
ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 
* ocamlPackages.ppxlib: 0.23.0 -> 0.24.0

* ocamlPackages.bls12-381{,-unix}: 0.4.2 -> 1.1.0

- Update to version 1.1.0
- Use the same revision tag used in the opam repository, as the release tarbal seems to be unavailable
- Does not depend on bls12-381-gen and rust anymore

* ocamlPackages.bls12-381-{gen: 0.4.2 -> 0.4.4,legacy: init at 0.4.4}

- Update bls12-381-gen to version 0.4.4
- Add new package bls12-381-legacy

* ocamlPackages.tezos-*: 10.2 -> 11.0

- Update tezos to version 11.0
- Add new packages:
    tezos-base-test-helpers
    tezos-embedded-protocol-demo-noops
    tezos-event-logging-test-helpers
    tezos-protocol-alpha
    tezos-protocol-demo-noops
    tezos-protocol-plugin-alpha
    tezos-protocol-demo-noops
    tezos-protocol-plugin-alpha
    tezos-shell-services-test-helpers
- Remove old package:
    tezos-test-services

* ocamlPackages.repr: 0.4.0 -> 0.5.0

* ocamlPackages.hacl-star-raw: 0.3.2 -> 0.4.5

* ocamlPackages.arp: 2.3.2 -> 3.0.0

* ocamlPackages.index: 1.4.1 -> 1.5.0

* ocamlPackages.digestif: 1.0.0 -> 1.1.0

* ocamlPackages.ethernet: 2.2.0 -> 3.0.0

* ocamlPackages.httpaf: 0.6.6 -> 0.7.1

* ocamlPackages.mirage-nat: 2.2.3 -> 2.2.5

* ocamlPackages.tcpip: 6.2.0 -> 7.0.1

* ocamlPackages.paf: 0.0.6 -> 0.0.8

* ocamlPackages.ppx_irmin: 2.7.2 -> 2.9.1

* ocamlPackages.tezos-*: add missing packages, needed by ligo-0.34

* ocamlPackages.ocaml-recovery-parser: init at 0.2.2

* ligo: 0.27.0 -> 0.34.0
 2022-01-23 21:24:16 +01:00
Ulrik Strid
fd13396e16 ligo: 0.26.0 -> 0.27.0 2021-10-22 08:54:19 +00:00
Ulrik Strid
cbf28fa8c4 ligo: init at 0.26 2021-10-15 18:48:43 +02:00