ReportsntpIdempotency of postinst configureOSEF #1

log

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

Debug

root: r₃₇₄₀
clause: globals:
          r₃₆₇₃ -> 4720
          r₃₇₄₀ -> 4818
          
equalities:
  
info:
  4720:
    initial: false
    kind: dir
    feats:
      bin -> 4774
      boot -> 4773
      dev -> 4772
      etc -> 4767
      home -> 4766
      lib -> 4765
      media -> 4764
      mnt -> 4763
      opt -> 4762
      proc -> 4761
      root -> 4760
      run -> 4758
      sbin -> 4757
      srv -> 4756
      tmp -> 4755
      usr -> 4735
      var -> 4721
    fen: false
    sims:
      ~{var} 4818
      ~{var} 4818
    nfens:
    nsims:
    
  4721:
    initial: false
    kind: dir
    feats:
      cache -> 4734
      lib -> 4732
      lock -> 4731
      log -> 4730
      opt -> 4729
      run -> 4728
      spool -> 4724
      tmp -> 4723
      www -> 4722
    fen: false
    sims:
      ~{lib} 4788
    nfens:
    nsims:
    
  4722:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4723:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4724:
    initial: true
    kind: dir
    feats:
      cron -> 4727
      mail -> 4726
      mqueue -> 4725
    fen: false
    sims:
    nfens:
    nsims:
    
  4725:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4726:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4727:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4728:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4729:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4730:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4731:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4732:
    initial: false
    kind: dir
    feats:
      misc -> 4733
      sntp -> 4781
    fen: false
    sims:
      ~{sntp} 4790
    nfens:
    nsims:
    
  4733:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4734:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4735:
    initial: true
    kind: dir
    feats:
      X11R6 -> 4754
      bin -> 4753
      include -> 4752
      lib -> 4751
      local -> 4741
      sbin -> 4740
      share -> 4737
      src -> 4736
    fen: false
    sims:
    nfens:
    nsims:
    
  4736:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4737:
    initial: true
    kind: dir
    feats:
      man -> 4739
      misc -> 4738
    fen: false
    sims:
    nfens:
    nsims:
    
  4738:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4739:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4740:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4741:
    initial: true
    kind: dir
    feats:
      bin -> 4750
      etc -> 4749
      games -> 4748
      include -> 4747
      lib -> 4746
      man -> 4745
      sbin -> 4744
      share -> 4743
      src -> 4742
    fen: false
    sims:
    nfens:
    nsims:
    
  4742:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4743:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4744:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4745:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4746:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4747:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4748:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4749:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4750:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4751:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4752:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4753:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4754:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4755:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4756:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4757:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4758:
    initial: true
    kind: dir
    feats:
      lock -> 4759
    fen: false
    sims:
    nfens:
    nsims:
    
  4759:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4760:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4761:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4762:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4763:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4764:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4765:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4766:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4767:
    initial: true
    kind: dir
    feats:
      X11 -> 4771
      opt -> 4770
      sgml -> 4769
      xml -> 4768
    fen: false
    sims:
    nfens:
    nsims:
    
  4768:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4769:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4770:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4771:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4772:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4773:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4774:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4781:
    initial: false
    kind: dir
    feats:
      kod -> X
    fen: false
    sims:
      ~{kod} 4786
    nfens:
    nsims:
    
  4786:
    initial: false
    kind: dir
    feats:
      kod -> 4813
    fen: false
    sims:
      ~{kod} 4781
    nfens:
    nsims:
    
  4788:
    initial: false
    kind: dir
    feats:
      cache -> 4734
      lib -> 4790
      lock -> 4731
      log -> 4730
      opt -> 4729
      run -> 4728
      spool -> 4724
      tmp -> 4723
      www -> 4722
    fen: false
    sims:
      ~{lib} 4721
    nfens:
    nsims:
    
  4790:
    initial: false
    kind: dir
    feats:
      misc -> 4733
      sntp -> 4786
    fen: false
    sims:
      ~{sntp} 4732
    nfens:
    nsims:
    
  4813:
    initial: false
    kind: reg
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4818:
    initial: false
    kind: dir
    feats:
      bin -> 4774
      boot -> 4773
      dev -> 4772
      etc -> 4767
      home -> 4766
      lib -> 4765
      media -> 4764
      mnt -> 4763
      opt -> 4762
      proc -> 4761
      root -> 4760
      run -> 4758
      sbin -> 4757
      srv -> 4756
      tmp -> 4755
      usr -> 4735
      var -> 4788
    fen: false
    sims:
      ~{var} 4720
      ~{var} 4818
    nfens:
    nsims:
    
  
log: |
  [UTL] touch /var/lib/sntp/kod: create file
  [UTL] touch /var/lib/sntp/kod: path resolves