यह कमांड न्यूज़एक्स है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
ladr4-apps - अनिर्दिष्ट LADR4 अनुप्रयोग
वर्णन
में कुछ कार्यक्रम ladr4-apps पैकेज में वर्तमान में कोई मैनुअल पेज नहीं है। आप प्राप्त कर सकते हैं
इनमें से कुछ अनुप्रयोगों पर दस्तावेज़ीकरण के माध्यम से कहावत9 मैनुअल, जो पर उपलब्ध है
पैकेज के माध्यम से डेबियन सिस्टम प्रोवर9-डॉक्टर, पर
/usr/share/doc/prover9-doc/manual/index.html. वैकल्पिक रूप से आवेदन को आमंत्रित करना
la -मदद विकल्प दस्तावेज प्रस्तुत कर सकता है। मैन्युअल पेज जोड़ने के लिए पैच का स्वागत है, और
डेबियन पैकेज अनुरक्षक को भेजा जा सकता है, जिसका विवरण नीचे सूचीबद्ध है।
onworks.net सेवाओं का उपयोग करके newsax का ऑनलाइन उपयोग करें