fd8e49e Revert "Update to Sodium version."

Authored and Committed by jjames 9 years ago
    Revert "Update to Sodium version."
    
    This reverts commit 9e00f5fc320c2642ef54158f45c80b90f0f00856.
    Frama-C Sodium requires ocaml 4.02.1, but we have 4.02.0 in F-22.
    
        
file modified
+10 -10
file modified
+3 -1
file removed
-29
file added
+131
file modified
+16 -16
file modified
+10 -10