Skip to content

Commit

Permalink
opam admin add-hashes sha256
Browse files Browse the repository at this point in the history
  • Loading branch information
@hannesm
hannesm committed May 24, 2024
1 parent 7b6e91e commit 2730ed6
Show file tree
Hide file tree
Showing 12,640 changed files with 53,623 additions and 14,371 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
5 changes: 4 additions & 1 deletion packages/0install/0install.2.10/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,10 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.10/0install-2.10.tar.bz2"
checksum: "md5=3db5bca7df2c01f9c74e57b503d9dd39"
checksum: [
"sha256=44ea5789f5b3b1ce621a4ac446dcb418497266c766d70068c2c723159f0112aa"
"md5=3db5bca7df2c01f9c74e57b503d9dd39"
]
}
extra-source "0install.install" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/0install/0install.2.11/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,10 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.11/0install-2.11.tar.bz2"
checksum: "md5=1cfe5845bf20fd0c0253c8ca6da7f37e"
checksum: [
"sha256=194b675c48556a3b9aee6b4a2478a521fafa66c0d871ef64349dc3baede28006"
"md5=1cfe5845bf20fd0c0253c8ca6da7f37e"
]
}
extra-source "0install.install" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/0install/0install.2.12.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,10 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.12.1/0install-2.12.1.tar.bz2"
checksum: "md5=e272f9acf4362b613e31c51dcaf5e946"
checksum: [
"sha256=87b576116af2a79de7c2870c1878e25afbbc90c801a47a4538fc028229c93681"
"md5=e272f9acf4362b613e31c51dcaf5e946"
]
}
extra-source "0install.install" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/0install/0install.2.12.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,10 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.12.3/0install-2.12.3.tar.bz2"
checksum: "md5=12d212264699a81e8b07d4410e907633"
checksum: [
"sha256=6936e8ffa33e570553788a1cf6c5c1d4b1342c778f436a443cda6f10b6136b40"
"md5=12d212264699a81e8b07d4410e907633"
]
}
extra-source "0install.install" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/0install/0install.2.12/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,10 @@ package managers. It supports both binary and source packages, and works on Linu
Mac OS X, Unix and Windows systems."""
url {
src: "https://github.com/0install/0install/archive/v2.12-1.tar.gz"
checksum: "md5=b314e3964858d56ea8da42816dd5ae87"
checksum: [
"sha256=317ac6ac680d021cb475962b7f6c2bcee9c35ce7cf04ae00d72bba8113f13559"
"md5=b314e3964858d56ea8da42816dd5ae87"
]
}
extra-source "0install.install" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/0install/0install.2.14.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,5 +38,8 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.14.1/0install-2.14.1.tar.bz2"
checksum: "md5=c13b6ee913c7b48efd993fa529fc5a68"
checksum: [
"sha256=7c389eef002e4849b37c9f2438679723266948191f5bcb09879c1cd5827533c5"
"md5=c13b6ee913c7b48efd993fa529fc5a68"
]
}
5 changes: 4 additions & 1 deletion packages/0install/0install.2.14/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,5 +38,8 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.14/0install-2.14.tar.bz2"
checksum: "md5=14f17ccf5e96074b095fd69d8589e5c7"
checksum: [
"sha256=2aa541367aad3d8338309e5bee3bde31bba4a13536ee912f42ac7967c659608b"
"md5=14f17ccf5e96074b095fd69d8589e5c7"
]
}
5 changes: 4 additions & 1 deletion packages/0install/0install.2.6.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,10 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.6.2/0install-2.6.2.tar.bz2"
checksum: "md5=8931211adbfe984640a029c48f7b992f"
checksum: [
"sha256=5755226ef4b32f04723bcbe551f4694ddf78dffbb0f589c3140c2d7056370961"
"md5=8931211adbfe984640a029c48f7b992f"
]
}
extra-source "gui_gtk_dir.patch" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/0install/0install.2.8/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,10 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.8/0install-2.8.tar.bz2"
checksum: "md5=25520678fcb91603a876a3dd2db24dc3"
checksum: [
"sha256=12de771be748bce9350c90bc4720029a566b078ceabd335af09386ac6a37df2b"
"md5=25520678fcb91603a876a3dd2db24dc3"
]
}
extra-source "gui_gtk_dir.patch" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/0install/0install.2.9.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,10 @@ Mac OS X, Unix and Windows systems."""
url {
src:
"https://downloads.sf.net/project/zero-install/0install/2.9.1/0install-2.9.1.tar.bz2"
checksum: "md5=37093e67e3ae21a89f3b7fb217941437"
checksum: [
"sha256=ce3b16b3372f712807524b37ce1f5b981a30070b8aded561a46fe4748b901831"
"md5=37093e67e3ae21a89f3b7fb217941437"
]
}
extra-source "0install.install" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/ANSITerminal/ANSITerminal.0.6.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,5 +32,8 @@ flags: light-uninstall
url {
src:
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6.2/ANSITerminal-0.6.2.tar.gz"
checksum: "md5=b7a7b7cce64eabf224d05ed9f2b9d471"
checksum: [
"sha256=0fcc0f7d8a4c904a4fd18c576d778c6a8a9679db0f148534055fd1766e5dd41b"
"md5=b7a7b7cce64eabf224d05ed9f2b9d471"
]
}
5 changes: 4 additions & 1 deletion packages/ANSITerminal/ANSITerminal.0.6.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,5 +32,8 @@ flags: light-uninstall
url {
src:
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6.3/ANSITerminal-0.6.3.tar.gz"
checksum: "md5=2ebb5c1ac9014cc3f38a4ffa8909a33c"
checksum: [
"sha256=25e7e32541d1583151b11f05fcbd0e5bba3d2011ec153970118e66d6fc6480ef"
"md5=2ebb5c1ac9014cc3f38a4ffa8909a33c"
]
}
5 changes: 4 additions & 1 deletion packages/ANSITerminal/ANSITerminal.0.6.4/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,5 +29,8 @@ flags: light-uninstall
url {
src:
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6.4/ANSITerminal-0.6.4.tar.gz"
checksum: "md5=f2c02c5f77f3438af456c2f0d6e58c7b"
checksum: [
"sha256=96744b5fc3b234ea3fbf17f1a0fcb79e2877b35a3f75d812c2fcb96df3999692"
"md5=f2c02c5f77f3438af456c2f0d6e58c7b"
]
}
5 changes: 4 additions & 1 deletion packages/ANSITerminal/ANSITerminal.0.6.5/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,5 +30,8 @@ flags: light-uninstall
url {
src:
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6.5/ANSITerminal-0.6.5.tar.gz"
checksum: "md5=508022a9a64a0983bc7d3a53139c6b8b"
checksum: [
"sha256=26874e1bd737f803f84acdc2256b48c76c88bea12c0ce06172db8428367533c9"
"md5=508022a9a64a0983bc7d3a53139c6b8b"
]
}
5 changes: 4 additions & 1 deletion packages/ANSITerminal/ANSITerminal.0.6/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,5 +30,8 @@ flags: light-uninstall
url {
src:
"https://download.ocamlcore.org/ansiterminal/ansiterminal/0.6/ANSITerminal-0.6.tar.gz"
checksum: "md5=d44571177c6a3a9f6ba45def99b2ae80"
checksum: [
"sha256=e2edb63c27508bf7a07da6a066cdaee4534c4ef480ecf38ea33089f2d538a27c"
"md5=d44571177c6a3a9f6ba45def99b2ae80"
]
}
5 changes: 4 additions & 1 deletion packages/ANSITerminal/ANSITerminal.0.7/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,5 +35,8 @@ flags: light-uninstall
url {
src:
"https://github.com/Chris00/ANSITerminal/releases/download/0.7/ANSITerminal-0.7.tar.gz"
checksum: "md5=5a583942e720ef5a2f7951ee2caa0ec7"
checksum: [
"sha256=2902489131b183124bfb6c756ef804a7e3e0677fae4444813849ddc47777f80e"
"md5=5a583942e720ef5a2f7951ee2caa0ec7"
]
}
5 changes: 4 additions & 1 deletion packages/ANSITerminal/ANSITerminal.0.8.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,5 +27,8 @@ this part is currently work in progress)."""
url {
src:
"https://github.com/Chris00/ANSITerminal/releases/download/0.8.1/ANSITerminal-0.8.1.tbz"
checksum: "md5=d9909496b5e47c75227453256198d1ae"
checksum: [
"sha256=ebe7be726e1fbb832fe89f474dee090d90b28bf265bc2b5e1ff1e771a80e4a9c"
"md5=d9909496b5e47c75227453256198d1ae"
]
}
5 changes: 4 additions & 1 deletion packages/ANSITerminal/ANSITerminal.0.8/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,5 +27,8 @@ this part is currently work in progress)."""
url {
src:
"https://github.com/Chris00/ANSITerminal/releases/download/0.8/ANSITerminal-0.8.tbz"
checksum: "md5=b3fc33f17823e85c86a4d9cf4498c40e"
checksum: [
"sha256=e090938871a13c28d8e00124e211df6367492790386221d80828339222eb0ead"
"md5=b3fc33f17823e85c86a4d9cf4498c40e"
]
}
5 changes: 4 additions & 1 deletion packages/BetterErrors/BetterErrors.0.0.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,8 @@ Pipe in the text of OCaml compiler errors; it'll output them prettified.
https://github.com/chenglou/BetterErrors"""
url {
src: "https://github.com/reasonml/BetterErrors/archive/v0.0.1.tar.gz"
checksum: "md5=213fbbf17f54927d62464d0ac1188f8a"
checksum: [
"sha256=61ef27a23739a3cf7740f269f804ab076ef4223b876a376bdcbc4dda57f18247"
"md5=213fbbf17f54927d62464d0ac1188f8a"
]
}
5 changes: 4 additions & 1 deletion packages/CamlGI/CamlGI.0.6/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,10 @@ flags: light-uninstall
url {
src:
"http://downloads.sourceforge.net/project/ocaml-cgi/CamlGI/0.6/CamlGI-0.6.tar.gz"
checksum: "md5=f53aab889a265dcb9ad0e0f7110577a5"
checksum: [
"sha256=632f0ae0e7b91f8be4f9a27e07b6c01f4a85dbf90048ee01184fba5072acf76c"
"md5=f53aab889a265dcb9ad0e0f7110577a5"
]
}
extra-source "CamlGI.install" {
src:
Expand Down
5 changes: 4 additions & 1 deletion packages/Camldiets/Camldiets.0.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,5 +27,8 @@ populated sets over a discrete linear order."""
flags: light-uninstall
url {
src: "https://github.com/tcsprojects/camldiets/archive/v0.2.tar.gz"
checksum: "md5=05222445e9a4e90daa29500e667d33b6"
checksum: [
"sha256=3cb57e8f99b8def8324a17b8c9886a6257d41b5b2924d90759b9ba2c98e5b17c"
"md5=05222445e9a4e90daa29500e667d33b6"
]
}
8 changes: 6 additions & 2 deletions packages/DAGaml/DAGaml.0.01/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,10 @@ install: [make "install"]
available: arch != "arm32" & arch != "x86_32"
dev-repo: "git+https://gitlab.com/boreal-ldd/dagaml"
url {
src:"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.01/dagaml-v0.01.tar.gz"
checksum:"md5=0699ad06e3f8d99245b30e4f1cd0d12e"
src:
"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.01/dagaml-v0.01.tar.gz"
checksum: [
"sha256=79e3d308e4cbdf1f658e56b370c6d0636d016d7686deb67eac8445705e85062e"
"md5=0699ad06e3f8d99245b30e4f1cd0d12e"
]
}
8 changes: 6 additions & 2 deletions packages/DAGaml/DAGaml.0.02/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,10 @@ install: [make "install"]
available: arch != "arm32" & arch != "x86_32"
dev-repo: "git+https://gitlab.com/boreal-ldd/dagaml"
url {
src:"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.02/dagaml-v0.02.tar.gz"
checksum:"md5=e7744ac85660a981d11772ed70d427ec"
src:
"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.02/dagaml-v0.02.tar.gz"
checksum: [
"sha256=46e07b3f1bcf8eb89abaa78e58aee53223888637548d78f3f439098dcdd8be91"
"md5=e7744ac85660a981d11772ed70d427ec"
]
}
5 changes: 4 additions & 1 deletion packages/DrawGrammar/DrawGrammar.0.1.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,8 @@ description:
flags: light-uninstall
url {
src: "https://github.com/jacquev6/DrawGrammar/archive/0.1.0.tar.gz"
checksum: "md5=6c3dfc5c3368ed887d5d9bc38cb7472e"
checksum: [
"sha256=0ec40d1e93149635116bef5aee8a702c17e7cb0eb14cd6b6b7d94ac1622eb3d6"
"md5=6c3dfc5c3368ed887d5d9bc38cb7472e"
]
}
5 changes: 4 additions & 1 deletion packages/DrawGrammar/DrawGrammar.0.2.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,5 +28,8 @@ description:
flags: light-uninstall
url {
src: "https://github.com/jacquev6/DrawGrammar/archive/0.2.0.tar.gz"
checksum: "md5=7f73c7b8f1f0e7b5d8e040f6172dedf9"
checksum: [
"sha256=ba22921f8b02bcf51448e2288c667148a28a0a866e329aa0357c611fd051dee8"
"md5=7f73c7b8f1f0e7b5d8e040f6172dedf9"
]
}
5 changes: 4 additions & 1 deletion packages/DrawGrammar/DrawGrammar.0.2.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,5 +23,8 @@ description:
"An [interactive demo](http://jacquev6.github.io/DrawGrammar/) is available."
url {
src: "https://github.com/jacquev6/DrawGrammar/archive/0.2.1.tar.gz"
checksum: "md5=c47a0dd33a72959cc83cb6d851bb0ad4"
checksum: [
"sha256=76f941bdace7ab9914e473010c6216eaba428ac0cd3c3b3f4d560f7ea32ea17e"
"md5=c47a0dd33a72959cc83cb6d851bb0ad4"
]
}
8 changes: 6 additions & 2 deletions packages/FrontC/FrontC.3.4.1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,12 @@ standard GNU CC attributes.
It provides also a C pretty printer as an example of use."""
flags: light-uninstall
url {
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_1.tar.gz"
checksum: "md5=1bc3d9c7829fad9d5e0499eecd84880e"
src:
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_1.tar.gz"
checksum: [
"sha256=b6d47a0d3abe22ea63aa4ff2ab55bf071f84cc878f251890946127e97308aca7"
"md5=1bc3d9c7829fad9d5e0499eecd84880e"
]
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/V_3_4_1.tar.gz"
}
extra-source "opam.patch" {
Expand Down
8 changes: 6 additions & 2 deletions packages/FrontC/FrontC.3.4.2/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -22,8 +22,12 @@ standard GNU CC attributes.

It provides also a C pretty printer as an example of use."""
url {
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_2.tar.gz"
checksum: "md5=76b84606069aadac0aa05662d7a77033"
src:
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4_2.tar.gz"
checksum: [
"sha256=b3bda2cb3ec8b656fb69664a7d981ecc80be5804c88d665de02f1bc9d1ede609"
"md5=76b84606069aadac0aa05662d7a77033"
]
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/V_3_4_2.tar.gz"
}
extra-source "opam.patch" {
Expand Down
8 changes: 6 additions & 2 deletions packages/FrontC/FrontC.3.4.3-1/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,12 @@ standard GNU CC attributes.
It provides also a C pretty printer as an example of use."""

url {
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
checksum: "md5=399f66735541ecf8e06220618eef5c98"
src:
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
checksum: [
"sha256=b96098bc56008e4239e571bb4e7407ac3b83be1c89bf945e2048063f9a5e528c"
"md5=399f66735541ecf8e06220618eef5c98"
]
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v3.4.3.tar.gz"
}
extra-source "fix-cmxs-cmx.patch" {
Expand Down
8 changes: 6 additions & 2 deletions packages/FrontC/FrontC.3.4.3/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,8 +28,12 @@ standard GNU CC attributes.
It provides also a C pretty printer as an example of use."""

url {
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
checksum: "md5=399f66735541ecf8e06220618eef5c98"
src:
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
checksum: [
"sha256=b96098bc56008e4239e571bb4e7407ac3b83be1c89bf945e2048063f9a5e528c"
"md5=399f66735541ecf8e06220618eef5c98"
]
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v3.4.3.tar.gz"
}

Expand Down
8 changes: 6 additions & 2 deletions packages/FrontC/FrontC.3.4/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,12 @@ standard GNU CC attributes.
It provides also a C pretty printer as an example of use."""
flags: light-uninstall
url {
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4.tar.gz"
checksum: "md5=1abae6fff6f191ae65b0f6951c6a727c"
src:
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/V_3_4.tar.gz"
checksum: [
"sha256=273e030887a6f3eddc2f0d12d1e289c6d390a2e1c2e3aa2a8514b84cfbac698b"
"md5=1abae6fff6f191ae65b0f6951c6a727c"
]
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/V_3_4.tar.gz"
}
extra-source "opam.patch" {
Expand Down
8 changes: 6 additions & 2 deletions packages/FrontC/FrontC.4.0.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,11 @@ build: [
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"

url {
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz"
checksum: "md5=2e8875a947b12ae3de2e89b1d9b3c7fe"
src:
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz"
checksum: [
"sha256=1cd4e72478b1bf03678dd3cc730400c26a0d02b883906a5f5a354907f2798279"
"md5=2e8875a947b12ae3de2e89b1d9b3c7fe"
]
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz"
}
8 changes: 6 additions & 2 deletions packages/FrontC/FrontC.4.1.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,11 @@ build: [
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"

url {
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.1.0.tar.gz"
checksum: "md5=08e58fa6c9eb311b03c0b85d74d2e256"
src:
"https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.1.0.tar.gz"
checksum: [
"sha256=f70063a72a39cb9192069ce3b1a20dd28f7e1c2ef6a56bbfbf7079533f2210e4"
"md5=08e58fa6c9eb311b03c0b85d74d2e256"
]
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.1.0.tar.gz"
}
5 changes: 4 additions & 1 deletion packages/General/General.0.1.0/opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -37,5 +37,8 @@ synopsis: "Rich functionality for built-in and basic OCaml types"
flags: light-uninstall
url {
src: "https://github.com/jacquev6/General/archive/0.1.0.tar.gz"
checksum: "md5=0e5068a45b9b76b1588e0bd7391730e3"
checksum: [
"sha256=b48b95ab3e4e49ab67faf70ab137501ab250d12486a3424c1ffcd3b77557b03c"
"md5=0e5068a45b9b76b1588e0bd7391730e3"
]
}
Loading

0 comments on commit 2730ed6

Please sign in to comment.