Skip to content

Commit 2730ed6

Browse files
hannesmhannesm
committed
opam admin add-hashes sha256
1 parent 7b6e91e commit 2730ed6

File tree

12,640 files changed

+53623
-14371
lines changed
  • packages
    • 0install
    • ANSITerminal
      • ANSITerminal.0.6
      • ANSITerminal.0.6.2
      • ANSITerminal.0.6.3
      • ANSITerminal.0.6.4
      • ANSITerminal.0.6.5
      • ANSITerminal.0.7
      • ANSITerminal.0.8
      • ANSITerminal.0.8.1
    • BetterErrors/BetterErrors.0.0.1
    • CamlGI/CamlGI.0.6
    • Camldiets/Camldiets.0.2
    • DAGaml
    • DrawGrammar
      • DrawGrammar.0.1.0
      • DrawGrammar.0.2.0
      • DrawGrammar.0.2.1
    • FrontC
    • General
    • GuaCaml
    • ISO8601
    • JsOfOCairo
      • JsOfOCairo.0.1.0
      • JsOfOCairo.1.0.0
      • JsOfOCairo.1.0.1
      • JsOfOCairo.1.1.1
    • KaSim
    • Snowflake
    • TCSLib
    • aacplus
    • abella
    • abt/abt.0.0.3
    • accessor
      • accessor.v0.14.0
      • accessor.v0.14.1
    • accessor_async
      • accessor_async.v0.14.0
      • accessor_async.v0.14.1
    • accessor_base
      • accessor_base.v0.14.0
      • accessor_base.v0.14.1
    • accessor_core
      • accessor_core.v0.14.0
      • accessor_core.v0.14.1
    • acgtk
    • acme/acme.0.1
    • acp4/acp4.1.0.1
    • acpc
    • aez/aez.0.3
    • afl/afl.2.52b
    • afl-persistent
      • afl-persistent.1.0
      • afl-persistent.1.1
      • afl-persistent.1.2
      • afl-persistent.1.3
    • ago
    • agrep/agrep.1.0
    • ahrocksdb
    • aifad
    • aio/aio.0.0.3
    • alba
    • alberto
    • alcotest
    • alcotest-async
      • alcotest-async.0.8.2
      • alcotest-async.0.8.5
    • alcotest-lwt
      • alcotest-lwt.0.8.0
      • alcotest-lwt.0.8.5
    • aliases/aliases.0.0.5
    • alphaCaml/alphaCaml.20061214
    • alsa
    • alt-ergo
    • alt-ergo-free
      • alt-ergo-free.2.0.0
      • alt-ergo-free.2.2.0
      • alt-ergo-free.2.3.3
      • alt-ergo-free.2.3.3.dune3
    • alt-ergo-lib
      • alt-ergo-lib.2.3.0
      • alt-ergo-lib.2.3.1
      • alt-ergo-lib.2.3.2
      • alt-ergo-lib.2.3.3
      • alt-ergo-lib.2.4.0
    • alt-ergo-lib-free
      • alt-ergo-lib-free.2.3.3
      • alt-ergo-lib-free.2.3.3.dune3
    • alt-ergo-parsers
      • alt-ergo-parsers.2.3.0
      • alt-ergo-parsers.2.3.1
      • alt-ergo-parsers.2.3.2
      • alt-ergo-parsers.2.3.3
      • alt-ergo-parsers.2.4.0
    • alt-ergo-parsers-free
      • alt-ergo-parsers-free.2.3.3
      • alt-ergo-parsers-free.2.3.3.dune3
    • altgr-ergo
      • altgr-ergo.0.95.2
      • altgr-ergo.0.99.1
      • altgr-ergo.1.01
      • altgr-ergo.1.30
      • altgr-ergo.2.3.0
      • altgr-ergo.2.3.1
      • altgr-ergo.2.3.2
      • altgr-ergo.2.3.3
      • altgr-ergo.2.4.0
    • amf/amf.0.1.0
    • amqp-client
      • amqp-client.0.2.0
      • amqp-client.0.9.0
      • amqp-client.1.0.0
      • amqp-client.1.0.1
      • amqp-client.1.0.2
      • amqp-client.1.0.3
      • amqp-client.1.0.4
      • amqp-client.1.0.5
      • amqp-client.1.0.6
      • amqp-client.1.1.0
      • amqp-client.1.1.1
      • amqp-client.1.1.2
      • amqp-client.1.1.3
      • amqp-client.1.1.4
      • amqp-client.2.0.0
      • amqp-client.2.0.1
      • amqp-client.2.0.2
      • amqp-client.2.0.3
    • amqp-client-async
      • amqp-client-async.2.0.0
      • amqp-client-async.2.0.1
      • amqp-client-async.2.0.2
      • amqp-client-async.2.0.3
    • amqp-client-lwt
      • amqp-client-lwt.2.0.0
      • amqp-client-lwt.2.0.1
      • amqp-client-lwt.2.0.2
      • amqp-client-lwt.2.0.3
    • ancient
    • angstrom
    • angstrom-async
      • angstrom-async.0.10.0
      • angstrom-async.0.11.0
      • angstrom-async.0.11.1
      • angstrom-async.0.11.2
      • angstrom-async.0.12.1
      • angstrom-async.0.13.0
      • angstrom-async.0.14.0
      • angstrom-async.0.14.1
      • angstrom-async.0.15.0
      • angstrom-async.0.16.0
      • angstrom-async.0.6.0
      • angstrom-async.0.7.0
      • angstrom-async.0.8.0
      • angstrom-async.0.8.1
      • angstrom-async.0.9.0
    • angstrom-lwt-unix
      • angstrom-lwt-unix.0.10.0
      • angstrom-lwt-unix.0.11.0
      • angstrom-lwt-unix.0.11.1
      • angstrom-lwt-unix.0.11.2
      • angstrom-lwt-unix.0.12.1
      • angstrom-lwt-unix.0.13.0
      • angstrom-lwt-unix.0.14.0
      • angstrom-lwt-unix.0.14.1
      • angstrom-lwt-unix.0.15.0
      • angstrom-lwt-unix.0.16.0
      • angstrom-lwt-unix.0.6.0
      • angstrom-lwt-unix.0.7.0
      • angstrom-lwt-unix.0.8.0
      • angstrom-lwt-unix.0.8.1
      • angstrom-lwt-unix.0.9.0
    • angstrom-unix
      • angstrom-unix.0.10.0
      • angstrom-unix.0.11.0
      • angstrom-unix.0.11.1
      • angstrom-unix.0.11.2
      • angstrom-unix.0.12.1
      • angstrom-unix.0.13.0
      • angstrom-unix.0.14.0
      • angstrom-unix.0.14.1
      • angstrom-unix.0.15.0
      • angstrom-unix.0.16.0
      • angstrom-unix.0.6.0
      • angstrom-unix.0.7.0
      • angstrom-unix.0.8.0
      • angstrom-unix.0.8.1
      • angstrom-unix.0.9.0
    • annexlib/annexlib.0.13.5
    • annot

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

12,640 files changed

+53623
-14371
lines changed

‎packages/0install/0install.2.10/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,10 @@ Mac OS X, Unix and Windows systems."""
3434
url {
3535
src:
3636
"https://downloads.sf.net/project/zero-install/0install/2.10/0install-2.10.tar.bz2"
37-
checksum: "md5=3db5bca7df2c01f9c74e57b503d9dd39"
37+
checksum: [
38+
"sha256=44ea5789f5b3b1ce621a4ac446dcb418497266c766d70068c2c723159f0112aa"
39+
"md5=3db5bca7df2c01f9c74e57b503d9dd39"
40+
]
3841
}
3942
extra-source "0install.install" {
4043
src:

‎packages/0install/0install.2.11/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,10 @@ Mac OS X, Unix and Windows systems."""
3535
url {
3636
src:
3737
"https://downloads.sf.net/project/zero-install/0install/2.11/0install-2.11.tar.bz2"
38-
checksum: "md5=1cfe5845bf20fd0c0253c8ca6da7f37e"
38+
checksum: [
39+
"sha256=194b675c48556a3b9aee6b4a2478a521fafa66c0d871ef64349dc3baede28006"
40+
"md5=1cfe5845bf20fd0c0253c8ca6da7f37e"
41+
]
3942
}
4043
extra-source "0install.install" {
4144
src:

‎packages/0install/0install.2.12.1/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,10 @@ Mac OS X, Unix and Windows systems."""
3636
url {
3737
src:
3838
"https://downloads.sf.net/project/zero-install/0install/2.12.1/0install-2.12.1.tar.bz2"
39-
checksum: "md5=e272f9acf4362b613e31c51dcaf5e946"
39+
checksum: [
40+
"sha256=87b576116af2a79de7c2870c1878e25afbbc90c801a47a4538fc028229c93681"
41+
"md5=e272f9acf4362b613e31c51dcaf5e946"
42+
]
4043
}
4144
extra-source "0install.install" {
4245
src:

‎packages/0install/0install.2.12.3/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,10 @@ Mac OS X, Unix and Windows systems."""
3535
url {
3636
src:
3737
"https://downloads.sf.net/project/zero-install/0install/2.12.3/0install-2.12.3.tar.bz2"
38-
checksum: "md5=12d212264699a81e8b07d4410e907633"
38+
checksum: [
39+
"sha256=6936e8ffa33e570553788a1cf6c5c1d4b1342c778f436a443cda6f10b6136b40"
40+
"md5=12d212264699a81e8b07d4410e907633"
41+
]
3942
}
4043
extra-source "0install.install" {
4144
src:

‎packages/0install/0install.2.12/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,10 @@ package managers. It supports both binary and source packages, and works on Linu
3434
Mac OS X, Unix and Windows systems."""
3535
url {
3636
src: "https://github.com/0install/0install/archive/v2.12-1.tar.gz"
37-
checksum: "md5=b314e3964858d56ea8da42816dd5ae87"
37+
checksum: [
38+
"sha256=317ac6ac680d021cb475962b7f6c2bcee9c35ce7cf04ae00d72bba8113f13559"
39+
"md5=b314e3964858d56ea8da42816dd5ae87"
40+
]
3841
}
3942
extra-source "0install.install" {
4043
src:

‎packages/0install/0install.2.14.1/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -38,5 +38,8 @@ Mac OS X, Unix and Windows systems."""
3838
url {
3939
src:
4040
"https://downloads.sf.net/project/zero-install/0install/2.14.1/0install-2.14.1.tar.bz2"
41-
checksum: "md5=c13b6ee913c7b48efd993fa529fc5a68"
41+
checksum: [
42+
"sha256=7c389eef002e4849b37c9f2438679723266948191f5bcb09879c1cd5827533c5"
43+
"md5=c13b6ee913c7b48efd993fa529fc5a68"
44+
]
4245
}

‎packages/0install/0install.2.14/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -38,5 +38,8 @@ Mac OS X, Unix and Windows systems."""
3838
url {
3939
src:
4040
"https://downloads.sf.net/project/zero-install/0install/2.14/0install-2.14.tar.bz2"
41-
checksum: "md5=14f17ccf5e96074b095fd69d8589e5c7"
41+
checksum: [
42+
"sha256=2aa541367aad3d8338309e5bee3bde31bba4a13536ee912f42ac7967c659608b"
43+
"md5=14f17ccf5e96074b095fd69d8589e5c7"
44+
]
4245
}

‎packages/0install/0install.2.6.2/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,10 @@ Mac OS X, Unix and Windows systems."""
3232
url {
3333
src:
3434
"https://downloads.sf.net/project/zero-install/0install/2.6.2/0install-2.6.2.tar.bz2"
35-
checksum: "md5=8931211adbfe984640a029c48f7b992f"
35+
checksum: [
36+
"sha256=5755226ef4b32f04723bcbe551f4694ddf78dffbb0f589c3140c2d7056370961"
37+
"md5=8931211adbfe984640a029c48f7b992f"
38+
]
3639
}
3740
extra-source "gui_gtk_dir.patch" {
3841
src:

‎packages/0install/0install.2.8/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,10 @@ Mac OS X, Unix and Windows systems."""
3232
url {
3333
src:
3434
"https://downloads.sf.net/project/zero-install/0install/2.8/0install-2.8.tar.bz2"
35-
checksum: "md5=25520678fcb91603a876a3dd2db24dc3"
35+
checksum: [
36+
"sha256=12de771be748bce9350c90bc4720029a566b078ceabd335af09386ac6a37df2b"
37+
"md5=25520678fcb91603a876a3dd2db24dc3"
38+
]
3639
}
3740
extra-source "gui_gtk_dir.patch" {
3841
src:

‎packages/0install/0install.2.9.1/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,10 @@ Mac OS X, Unix and Windows systems."""
3434
url {
3535
src:
3636
"https://downloads.sf.net/project/zero-install/0install/2.9.1/0install-2.9.1.tar.bz2"
37-
checksum: "md5=37093e67e3ae21a89f3b7fb217941437"
37+
checksum: [
38+
"sha256=ce3b16b3372f712807524b37ce1f5b981a30070b8aded561a46fe4748b901831"
39+
"md5=37093e67e3ae21a89f3b7fb217941437"
40+
]
3841
}
3942
extra-source "0install.install" {
4043
src:

‎packages/ANSITerminal/ANSITerminal.0.6.2/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -32,5 +32,8 @@ flags: light-uninstall
3232
url {
3333
src:
3434
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6.2/ANSITerminal-0.6.2.tar.gz"
35-
checksum: "md5=b7a7b7cce64eabf224d05ed9f2b9d471"
35+
checksum: [
36+
"sha256=0fcc0f7d8a4c904a4fd18c576d778c6a8a9679db0f148534055fd1766e5dd41b"
37+
"md5=b7a7b7cce64eabf224d05ed9f2b9d471"
38+
]
3639
}

‎packages/ANSITerminal/ANSITerminal.0.6.3/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -32,5 +32,8 @@ flags: light-uninstall
3232
url {
3333
src:
3434
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6.3/ANSITerminal-0.6.3.tar.gz"
35-
checksum: "md5=2ebb5c1ac9014cc3f38a4ffa8909a33c"
35+
checksum: [
36+
"sha256=25e7e32541d1583151b11f05fcbd0e5bba3d2011ec153970118e66d6fc6480ef"
37+
"md5=2ebb5c1ac9014cc3f38a4ffa8909a33c"
38+
]
3639
}

‎packages/ANSITerminal/ANSITerminal.0.6.4/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -29,5 +29,8 @@ flags: light-uninstall
2929
url {
3030
src:
3131
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6.4/ANSITerminal-0.6.4.tar.gz"
32-
checksum: "md5=f2c02c5f77f3438af456c2f0d6e58c7b"
32+
checksum: [
33+
"sha256=96744b5fc3b234ea3fbf17f1a0fcb79e2877b35a3f75d812c2fcb96df3999692"
34+
"md5=f2c02c5f77f3438af456c2f0d6e58c7b"
35+
]
3336
}

‎packages/ANSITerminal/ANSITerminal.0.6.5/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -30,5 +30,8 @@ flags: light-uninstall
3030
url {
3131
src:
3232
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6.5/ANSITerminal-0.6.5.tar.gz"
33-
checksum: "md5=508022a9a64a0983bc7d3a53139c6b8b"
33+
checksum: [
34+
"sha256=26874e1bd737f803f84acdc2256b48c76c88bea12c0ce06172db8428367533c9"
35+
"md5=508022a9a64a0983bc7d3a53139c6b8b"
36+
]
3437
}

‎packages/ANSITerminal/ANSITerminal.0.6/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -30,5 +30,8 @@ flags: light-uninstall
3030
url {
3131
src:
3232
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6/ANSITerminal-0.6.tar.gz"
33-
checksum: "md5=d44571177c6a3a9f6ba45def99b2ae80"
33+
checksum: [
34+
"sha256=e2edb63c27508bf7a07da6a066cdaee4534c4ef480ecf38ea33089f2d538a27c"
35+
"md5=d44571177c6a3a9f6ba45def99b2ae80"
36+
]
3437
}

‎packages/ANSITerminal/ANSITerminal.0.7/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -35,5 +35,8 @@ flags: light-uninstall
3535
url {
3636
src:
3737
"https://github.com/Chris00/ANSITerminal/releases/download/0.7/ANSITerminal-0.7.tar.gz"
38-
checksum: "md5=5a583942e720ef5a2f7951ee2caa0ec7"
38+
checksum: [
39+
"sha256=2902489131b183124bfb6c756ef804a7e3e0677fae4444813849ddc47777f80e"
40+
"md5=5a583942e720ef5a2f7951ee2caa0ec7"
41+
]
3942
}

‎packages/ANSITerminal/ANSITerminal.0.8.1/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -27,5 +27,8 @@ this part is currently work in progress)."""
2727
url {
2828
src:
2929
"https://github.com/Chris00/ANSITerminal/releases/download/0.8.1/ANSITerminal-0.8.1.tbz"
30-
checksum: "md5=d9909496b5e47c75227453256198d1ae"
30+
checksum: [
31+
"sha256=ebe7be726e1fbb832fe89f474dee090d90b28bf265bc2b5e1ff1e771a80e4a9c"
32+
"md5=d9909496b5e47c75227453256198d1ae"
33+
]
3134
}

‎packages/ANSITerminal/ANSITerminal.0.8/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -27,5 +27,8 @@ this part is currently work in progress)."""
2727
url {
2828
src:
2929
"https://github.com/Chris00/ANSITerminal/releases/download/0.8/ANSITerminal-0.8.tbz"
30-
checksum: "md5=b3fc33f17823e85c86a4d9cf4498c40e"
30+
checksum: [
31+
"sha256=e090938871a13c28d8e00124e211df6367492790386221d80828339222eb0ead"
32+
"md5=b3fc33f17823e85c86a4d9cf4498c40e"
33+
]
3134
}

‎packages/BetterErrors/BetterErrors.0.0.1/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -26,5 +26,8 @@ Pipe in the text of OCaml compiler errors; it'll output them prettified.
2626
https://github.com/chenglou/BetterErrors"""
2727
url {
2828
src: "https://github.com/reasonml/BetterErrors/archive/v0.0.1.tar.gz"
29-
checksum: "md5=213fbbf17f54927d62464d0ac1188f8a"
29+
checksum: [
30+
"sha256=61ef27a23739a3cf7740f269f804ab076ef4223b876a376bdcbc4dda57f18247"
31+
"md5=213fbbf17f54927d62464d0ac1188f8a"
32+
]
3033
}

‎packages/CamlGI/CamlGI.0.6/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,10 @@ flags: light-uninstall
1818
url {
1919
src:
2020
"http://downloads.sourceforge.net/project/ocaml-cgi/CamlGI/0.6/CamlGI-0.6.tar.gz"
21-
checksum: "md5=f53aab889a265dcb9ad0e0f7110577a5"
21+
checksum: [
22+
"sha256=632f0ae0e7b91f8be4f9a27e07b6c01f4a85dbf90048ee01184fba5072acf76c"
23+
"md5=f53aab889a265dcb9ad0e0f7110577a5"
24+
]
2225
}
2326
extra-source "CamlGI.install" {
2427
src:

‎packages/Camldiets/Camldiets.0.2/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -27,5 +27,8 @@ populated sets over a discrete linear order."""
2727
flags: light-uninstall
2828
url {
2929
src: "https://github.com/tcsprojects/camldiets/archive/v0.2.tar.gz"
30-
checksum: "md5=05222445e9a4e90daa29500e667d33b6"
30+
checksum: [
31+
"sha256=3cb57e8f99b8def8324a17b8c9886a6257d41b5b2924d90759b9ba2c98e5b17c"
32+
"md5=05222445e9a4e90daa29500e667d33b6"
33+
]
3134
}

‎packages/DAGaml/DAGaml.0.01/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,10 @@ install: [make "install"]
1717
available: arch != "arm32" & arch != "x86_32"
1818
dev-repo: "git+https://gitlab.com/boreal-ldd/dagaml"
1919
url {
20-
src:"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.01/dagaml-v0.01.tar.gz"
21-
checksum:"md5=0699ad06e3f8d99245b30e4f1cd0d12e"
20+
src:
21+
"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.01/dagaml-v0.01.tar.gz"
22+
checksum: [
23+
"sha256=79e3d308e4cbdf1f658e56b370c6d0636d016d7686deb67eac8445705e85062e"
24+
"md5=0699ad06e3f8d99245b30e4f1cd0d12e"
25+
]
2226
}

‎packages/DAGaml/DAGaml.0.02/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,10 @@ install: [make "install"]
1717
available: arch != "arm32" & arch != "x86_32"
1818
dev-repo: "git+https://gitlab.com/boreal-ldd/dagaml"
1919
url {
20-
src:"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.02/dagaml-v0.02.tar.gz"
21-
checksum:"md5=e7744ac85660a981d11772ed70d427ec"
20+
src:
21+
"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.02/dagaml-v0.02.tar.gz"
22+
checksum: [
23+
"sha256=46e07b3f1bcf8eb89abaa78e58aee53223888637548d78f3f439098dcdd8be91"
24+
"md5=e7744ac85660a981d11772ed70d427ec"
25+
]
2226
}

‎packages/DrawGrammar/DrawGrammar.0.1.0/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -26,5 +26,8 @@ description:
2626
flags: light-uninstall
2727
url {
2828
src: "https://github.com/jacquev6/DrawGrammar/archive/0.1.0.tar.gz"
29-
checksum: "md5=6c3dfc5c3368ed887d5d9bc38cb7472e"
29+
checksum: [
30+
"sha256=0ec40d1e93149635116bef5aee8a702c17e7cb0eb14cd6b6b7d94ac1622eb3d6"
31+
"md5=6c3dfc5c3368ed887d5d9bc38cb7472e"
32+
]
3033
}

‎packages/DrawGrammar/DrawGrammar.0.2.0/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -28,5 +28,8 @@ description:
2828
flags: light-uninstall
2929
url {
3030
src: "https://github.com/jacquev6/DrawGrammar/archive/0.2.0.tar.gz"
31-
checksum: "md5=7f73c7b8f1f0e7b5d8e040f6172dedf9"
31+
checksum: [
32+
"sha256=ba22921f8b02bcf51448e2288c667148a28a0a866e329aa0357c611fd051dee8"
33+
"md5=7f73c7b8f1f0e7b5d8e040f6172dedf9"
34+
]
3235
}

‎packages/DrawGrammar/DrawGrammar.0.2.1/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -23,5 +23,8 @@ description:
2323
"An [interactive demo](http://jacquev6.github.io/DrawGrammar/) is available."
2424
url {
2525
src: "https://github.com/jacquev6/DrawGrammar/archive/0.2.1.tar.gz"
26-
checksum: "md5=c47a0dd33a72959cc83cb6d851bb0ad4"
26+
checksum: [
27+
"sha256=76f941bdace7ab9914e473010c6216eaba428ac0cd3c3b3f4d560f7ea32ea17e"
28+
"md5=c47a0dd33a72959cc83cb6d851bb0ad4"
29+
]
2730
}

‎packages/FrontC/FrontC.3.4.1/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -25,8 +25,12 @@ standard GNU CC attributes.
2525
It provides also a C pretty printer as an example of use."""
2626
flags: light-uninstall
2727
url {
28-
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_1.tar.gz"
29-
checksum: "md5=1bc3d9c7829fad9d5e0499eecd84880e"
28+
src:
29+
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_1.tar.gz"
30+
checksum: [
31+
"sha256=b6d47a0d3abe22ea63aa4ff2ab55bf071f84cc878f251890946127e97308aca7"
32+
"md5=1bc3d9c7829fad9d5e0499eecd84880e"
33+
]
3034
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/V_3_4_1.tar.gz"
3135
}
3236
extra-source "opam.patch" {

‎packages/FrontC/FrontC.3.4.2/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,12 @@ standard GNU CC attributes.
2222

2323
It provides also a C pretty printer as an example of use."""
2424
url {
25-
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_2.tar.gz"
26-
checksum: "md5=76b84606069aadac0aa05662d7a77033"
25+
src:
26+
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_2.tar.gz"
27+
checksum: [
28+
"sha256=b3bda2cb3ec8b656fb69664a7d981ecc80be5804c88d665de02f1bc9d1ede609"
29+
"md5=76b84606069aadac0aa05662d7a77033"
30+
]
2731
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/V_3_4_2.tar.gz"
2832
}
2933
extra-source "opam.patch" {

‎packages/FrontC/FrontC.3.4.3-1/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,12 @@ standard GNU CC attributes.
3030
It provides also a C pretty printer as an example of use."""
3131

3232
url {
33-
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
34-
checksum: "md5=399f66735541ecf8e06220618eef5c98"
33+
src:
34+
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
35+
checksum: [
36+
"sha256=b96098bc56008e4239e571bb4e7407ac3b83be1c89bf945e2048063f9a5e528c"
37+
"md5=399f66735541ecf8e06220618eef5c98"
38+
]
3539
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v3.4.3.tar.gz"
3640
}
3741
extra-source "fix-cmxs-cmx.patch" {

‎packages/FrontC/FrontC.3.4.3/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -28,8 +28,12 @@ standard GNU CC attributes.
2828
It provides also a C pretty printer as an example of use."""
2929

3030
url {
31-
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
32-
checksum: "md5=399f66735541ecf8e06220618eef5c98"
31+
src:
32+
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
33+
checksum: [
34+
"sha256=b96098bc56008e4239e571bb4e7407ac3b83be1c89bf945e2048063f9a5e528c"
35+
"md5=399f66735541ecf8e06220618eef5c98"
36+
]
3337
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v3.4.3.tar.gz"
3438
}
3539

‎packages/FrontC/FrontC.3.4/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -25,8 +25,12 @@ standard GNU CC attributes.
2525
It provides also a C pretty printer as an example of use."""
2626
flags: light-uninstall
2727
url {
28-
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4.tar.gz"
29-
checksum: "md5=1abae6fff6f191ae65b0f6951c6a727c"
28+
src:
29+
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4.tar.gz"
30+
checksum: [
31+
"sha256=273e030887a6f3eddc2f0d12d1e289c6d390a2e1c2e3aa2a8514b84cfbac698b"
32+
"md5=1abae6fff6f191ae65b0f6951c6a727c"
33+
]
3034
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/V_3_4.tar.gz"
3135
}
3236
extra-source "opam.patch" {

‎packages/FrontC/FrontC.4.0.0/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,11 @@ build: [
3131
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"
3232

3333
url {
34-
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz"
35-
checksum: "md5=2e8875a947b12ae3de2e89b1d9b3c7fe"
34+
src:
35+
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz"
36+
checksum: [
37+
"sha256=1cd4e72478b1bf03678dd3cc730400c26a0d02b883906a5f5a354907f2798279"
38+
"md5=2e8875a947b12ae3de2e89b1d9b3c7fe"
39+
]
3640
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz"
3741
}

‎packages/FrontC/FrontC.4.1.0/opam

+6-2
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,11 @@ build: [
3030
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"
3131

3232
url {
33-
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.1.0.tar.gz"
34-
checksum: "md5=08e58fa6c9eb311b03c0b85d74d2e256"
33+
src:
34+
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.1.0.tar.gz"
35+
checksum: [
36+
"sha256=f70063a72a39cb9192069ce3b1a20dd28f7e1c2ef6a56bbfbf7079533f2210e4"
37+
"md5=08e58fa6c9eb311b03c0b85d74d2e256"
38+
]
3539
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.1.0.tar.gz"
3640
}

‎packages/General/General.0.1.0/opam

+4-1
Original file line numberDiff line numberDiff line change
@@ -37,5 +37,8 @@ synopsis: "Rich functionality for built-in and basic OCaml types"
3737
flags: light-uninstall
3838
url {
3939
src: "https://github.com/jacquev6/General/archive/0.1.0.tar.gz"
40-
checksum: "md5=0e5068a45b9b76b1588e0bd7391730e3"
40+
checksum: [
41+
"sha256=b48b95ab3e4e49ab67faf70ab137501ab250d12486a3424c1ffcd3b77557b03c"
42+
"md5=0e5068a45b9b76b1588e0bd7391730e3"
43+
]
4144
}

0 commit comments

Comments
 (0)