Skip to content

Commit

Permalink
oasis version
Browse files Browse the repository at this point in the history
pqwy committed Jul 2, 2015

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 16c5ec7 commit b817cf0
Showing 4 changed files with 11 additions and 11 deletions.
2 changes: 1 addition & 1 deletion _oasis
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
OASISFormat: 0.4
Name: nocrypto
Version: 0.4.0
Version: 0.5.0
Synopsis: Simple crypto for the modern age
Authors: David Kaloper <[email protected]>
Maintainers: David Kaloper <[email protected]>
6 changes: 3 additions & 3 deletions setup.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
(* setup.ml generated for the first time by OASIS v0.4.5 *)

(* OASIS_START *)
(* DO NOT EDIT (digest: a2dc724c5c3a42b80f9f8b2e186ea229) *)
(* DO NOT EDIT (digest: 44b360be4641c0655eac918b738baee3) *)
(*
Regenerated by OASIS v0.4.5
Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6867,7 +6867,7 @@ let setup_t =
alpha_features = [];
beta_features = [];
name = "nocrypto";
version = "0.4.0";
version = "0.5.0";
license =
OASISLicense.DEP5License
(OASISLicense.DEP5Unit
@@ -7413,7 +7413,7 @@ let setup_t =
};
oasis_fn = Some "_oasis";
oasis_version = "0.4.5";
oasis_digest = Some "\030\244\178S\027\011F\006*\234\242\152`\127O\170";
oasis_digest = Some "q\223|\n\172\142\bkF\203\167\247x\171\223\235";
oasis_exec = None;
oasis_setup_args = [];
setup_update = false
10 changes: 5 additions & 5 deletions src/META
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# OASIS_START
# DO NOT EDIT (digest: 259a7fa8c26c60a9e5d60b99211583b5)
version = "0.4.0"
# DO NOT EDIT (digest: b5cf55ecc365afaaf8a0a365a2c36856)
version = "0.5.0"
description = "Simple crypto for the modern age"
requires = "cstruct zarith sexplib"
archive(byte) = "nocrypto.cma"
@@ -10,7 +10,7 @@ archive(native, plugin) = "nocrypto.cmxs"
xen_linkopts = "-lnocrypto_xen_stubs"
exists_if = "nocrypto.cma"
package "xen" (
version = "0.4.0"
version = "0.5.0"
description = "Simple crypto for the modern age"
requires = "nocrypto lwt mirage-entropy-xen"
archive(byte) = "nocrypto_xen.cma"
@@ -21,7 +21,7 @@ package "xen" (
)

package "unix" (
version = "0.4.0"
version = "0.5.0"
description = "Simple crypto for the modern age"
requires = "nocrypto unix bytes"
archive(byte) = "nocrypto_unix.cma"
@@ -32,7 +32,7 @@ package "unix" (
)

package "lwt" (
version = "0.4.0"
version = "0.5.0"
description = "Simple crypto for the modern age"
requires = "nocrypto nocrypto.unix lwt.unix cstruct.lwt"
archive(byte) = "nocrypto_lwt.cma"
4 changes: 2 additions & 2 deletions tests/META
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# OASIS_START
# DO NOT EDIT (digest: c6cc49226f705b09d913acffb0726eb3)
version = "0.4.0"
# DO NOT EDIT (digest: e1118b99c359436e8a87647e5432b46d)
version = "0.5.0"
description = "Simple crypto for the modern age"
requires = "nocrypto oUnit"
archive(byte) = "testlib.cma"

0 comments on commit b817cf0

Please sign in to comment.