ReportsntpIdempotency of postinst abort-removeOSEF #1

log

[UTL] touch /var/lib/sntp/kod: create file
[UTL] touch /var/lib/sntp/kod: path resolves

Debug

root: r₃₈₁₉
clause: globals:
          r₃₇₅₂ -> 4841
          r₃₈₁₉ -> 4939
          
equalities:
  
info:
  4841:
    initial: false
    kind: dir
    feats:
      bin -> 4895
      boot -> 4894
      dev -> 4893
      etc -> 4888
      home -> 4887
      lib -> 4886
      media -> 4885
      mnt -> 4884
      opt -> 4883
      proc -> 4882
      root -> 4881
      run -> 4879
      sbin -> 4878
      srv -> 4877
      tmp -> 4876
      usr -> 4856
      var -> 4842
    fen: false
    sims:
      ~{var} 4939
      ~{var} 4939
    nfens:
    nsims:
    
  4842:
    initial: false
    kind: dir
    feats:
      cache -> 4855
      lib -> 4853
      lock -> 4852
      log -> 4851
      opt -> 4850
      run -> 4849
      spool -> 4845
      tmp -> 4844
      www -> 4843
    fen: false
    sims:
      ~{lib} 4909
    nfens:
    nsims:
    
  4843:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4844:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4845:
    initial: true
    kind: dir
    feats:
      cron -> 4848
      mail -> 4847
      mqueue -> 4846
    fen: false
    sims:
    nfens:
    nsims:
    
  4846:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4847:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4848:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4849:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4850:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4851:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4852:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4853:
    initial: false
    kind: dir
    feats:
      misc -> 4854
      sntp -> 4902
    fen: false
    sims:
      ~{sntp} 4911
    nfens:
    nsims:
    
  4854:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4855:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4856:
    initial: true
    kind: dir
    feats:
      X11R6 -> 4875
      bin -> 4874
      include -> 4873
      lib -> 4872
      local -> 4862
      sbin -> 4861
      share -> 4858
      src -> 4857
    fen: false
    sims:
    nfens:
    nsims:
    
  4857:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4858:
    initial: true
    kind: dir
    feats:
      man -> 4860
      misc -> 4859
    fen: false
    sims:
    nfens:
    nsims:
    
  4859:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4860:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4861:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4862:
    initial: true
    kind: dir
    feats:
      bin -> 4871
      etc -> 4870
      games -> 4869
      include -> 4868
      lib -> 4867
      man -> 4866
      sbin -> 4865
      share -> 4864
      src -> 4863
    fen: false
    sims:
    nfens:
    nsims:
    
  4863:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4864:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4865:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4866:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4867:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4868:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4869:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4870:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4871:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4872:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4873:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4874:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4875:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4876:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4877:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4878:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4879:
    initial: true
    kind: dir
    feats:
      lock -> 4880
    fen: false
    sims:
    nfens:
    nsims:
    
  4880:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4881:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4882:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4883:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4884:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4885:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4886:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4887:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4888:
    initial: true
    kind: dir
    feats:
      X11 -> 4892
      opt -> 4891
      sgml -> 4890
      xml -> 4889
    fen: false
    sims:
    nfens:
    nsims:
    
  4889:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4890:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4891:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4892:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4893:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4894:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4895:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4902:
    initial: false
    kind: dir
    feats:
      kod -> X
    fen: false
    sims:
      ~{kod} 4907
    nfens:
    nsims:
    
  4907:
    initial: false
    kind: dir
    feats:
      kod -> 4934
    fen: false
    sims:
      ~{kod} 4902
    nfens:
    nsims:
    
  4909:
    initial: false
    kind: dir
    feats:
      cache -> 4855
      lib -> 4911
      lock -> 4852
      log -> 4851
      opt -> 4850
      run -> 4849
      spool -> 4845
      tmp -> 4844
      www -> 4843
    fen: false
    sims:
      ~{lib} 4842
    nfens:
    nsims:
    
  4911:
    initial: false
    kind: dir
    feats:
      misc -> 4854
      sntp -> 4907
    fen: false
    sims:
      ~{sntp} 4853
    nfens:
    nsims:
    
  4934:
    initial: false
    kind: reg
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4939:
    initial: false
    kind: dir
    feats:
      bin -> 4895
      boot -> 4894
      dev -> 4893
      etc -> 4888
      home -> 4887
      lib -> 4886
      media -> 4885
      mnt -> 4884
      opt -> 4883
      proc -> 4882
      root -> 4881
      run -> 4879
      sbin -> 4878
      srv -> 4877
      tmp -> 4876
      usr -> 4856
      var -> 4909
    fen: false
    sims:
      ~{var} 4841
      ~{var} 4939
    nfens:
    nsims:
    
  
log: |
  [UTL] touch /var/lib/sntp/kod: create file
  [UTL] touch /var/lib/sntp/kod: path resolves