From bb8093c18259ac06a633e8e9447e590a464e61e5 Mon Sep 17 00:00:00 2001 From: attobot Date: Thu, 1 Nov 2018 17:01:44 -0700 Subject: [PATCH] Tag ParticleFilters.jl v0.3.0 [https://github.com/JuliaPOMDP/ParticleFilters.jl] (#19226) Merged automatically by Zeptobot --- ParticleFilters/versions/0.3.0/requires | 5 +++++ ParticleFilters/versions/0.3.0/sha1 | 1 + 2 files changed, 6 insertions(+) create mode 100644 ParticleFilters/versions/0.3.0/requires create mode 100644 ParticleFilters/versions/0.3.0/sha1 diff --git a/ParticleFilters/versions/0.3.0/requires b/ParticleFilters/versions/0.3.0/requires new file mode 100644 index 00000000000..f28b28e8eae --- /dev/null +++ b/ParticleFilters/versions/0.3.0/requires @@ -0,0 +1,5 @@ +julia 0.7 +StatsBase +POMDPs 0.6 +POMDPModelTools +POMDPPolicies diff --git a/ParticleFilters/versions/0.3.0/sha1 b/ParticleFilters/versions/0.3.0/sha1 new file mode 100644 index 00000000000..2602d0543f7 --- /dev/null +++ b/ParticleFilters/versions/0.3.0/sha1 @@ -0,0 +1 @@ +ea6111de2e105c7f5f3759d144817e9c0eb3acb2