OpenSDE
/
rocklinux
mirror of https://github.com/amery/rocklinux.git
2
0
Fork 0
Code Releases Wiki Activity
Browse Source

Andreas V. Meier: 


			
			
				rocklinux
			
			
		

		

			

				

					
						
						Andreas V. 'netrunner' Meier
					
					19 years ago
					

				

				

					

						
							

								parent
							

							

								
									
										0126b3b021
									
								
							

						
						

						
commit

						
1412c18297

					

				

			

		

		
		
		
	

		

			

				 1 changed files with 2 additions and 2 deletions
			

			

				
					Split View
				
				

	Diff Options
	
	

		Show Stats
		
			Download Patch File
			Download Diff File
		
	




				
			

		

		
    
			
				
  1. 
					
    
						
							+2
							
								
    
								
    
							    
							-2
						
					
    
					
					 
					package/avm/nusmv/nusmv.desc
				
    2. 
			
		

		
			
				

					

						

							
							
								
							
							
							
								
							
							
							

								
									+ 2
									
										

										

									
									- 2
								
							

							package/avm/nusmv/nusmv.desc
						

						

							
							
								
									View File
								
							
						

					

					

						
							

								

									
										
											
												

	
		
			

				
					
						
						
							
								
							
						
						
					
				
				
				
					@ -38,8 +38,8 @@
				
			

			
		
	
		
			

				
					
					
				
				
				
					

				
			

			
		
	
		
			

				
					
					
				
				
				
					[L] LGPL
				
			

			
		
	
		
			

				
					
					
				
				
				
					[S] Stable
				
			

			
		
	
		
			

				
					
					
				
				
				
					[V] 2.2.5
				
			

			
		
	
		
			

				
					
					
				
				
				
					[V] 2.3.1
				
			

			
		
	
		
			

				
					
					
				
				
				
					[P] X -----5---9 241.300
				
			

			
		
	
		
			

				
					
					
				
				
				
					

				
			

			
		
	
		
			

				
					
					
				
				
				
					[D] 114126480 NuSMV-2.2.5.tar.gz http://nusmv.irst.itc.it/distrib/
				
			

			
		
	
		
			

				
					
					
				
				
				
					[D] 2640403592 NuSMV-2.3.1.tar.gz http://nusmv.irst.itc.it/distrib/
				
			

			
		
	
		
			

				
					
					
				
				
				
					

				
			

			
		
	


											
										
									
								

							

						
					

				

			
		

		

		

		
			

					

	
	






					

					

							

									

											Write
											Preview
									

									

											
									

									

									Loading…
									

									

											
Cancel

											
Save