Tag ParticleFilters.jl v0.3.0 [https://github.com/JuliaPOMDP/Particle…

…Filters.jl] (#19226) Merged automatically by Zeptobot
JuliaLang · Nov 2, 2018 · bb8093c · bb8093c
1 parent a8efd4b
commit bb8093c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/ParticleFilters/versions/0.3.0/requires 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
@@ -0,0 +1 @@
+ea6111de2e105c7f5f3759d144817e9c0eb3acb2